Dialectica - PDFSEARCH.IO - Document Search Engine

Dialectica
Results: 91

#	Item
51	Programs from Proofs IV Programs from Proofs IV Programs from classical proofs via G¨ odel’s dialectica interpretation Add to Reading List Source URL: www.eecs.qmul.ac.uk Language: English - Date: 2011-05-27 18:07:14 Metalogic Dialectica interpretation First-order logic Constructible universe Curry–Howard correspondence Binomial coefficient Mathematical logic Proof theory Logic
52	14. Historia de nuestra cocina M ucho antes de que en nuestros figones penetrase esa dialéctica en la que las amas de casa, utilizando los productos de la tierra o del mar, ideasen y preparasen nuestros excepcionales p Add to Reading List Source URL: www.mayoresenaccion.es Language: Spanish - Date: 2012-03-01 13:36:36
53	Dialectica[removed]AUTORIZADA.pdf Add to Reading List Source URL: www.revistadialectica.org Language: Spanish - Date: 2014-03-17 19:38:41
54	Dialectica[removed]AUTORIZADA.pdf Add to Reading List Source URL: www.revistadialectica.org Language: Spanish - Date: 2014-03-17 19:38:09
55	Dialectica[removed]AUTORIZADA.pdf Add to Reading List Source URL: www.revistadialectica.org Language: Spanish - Date: 2014-03-17 19:37:16
56	Dialectica[removed]AUTORIZADA.pdf Add to Reading List Source URL: www.revistadialectica.org Language: Spanish - Date: 2014-03-17 19:38:22
57	Dialectica[removed]AUTORIZADA.pdf Add to Reading List Source URL: www.revistadialectica.org Language: Spanish - Date: 2014-03-17 19:37:55
58	Dialectica[removed]AUTORIZADA.pdf Add to Reading List Source URL: www.revistadialectica.org Language: Spanish - Date: 2014-03-17 19:37:19
59	Dialectica[removed]AUTORIZADA.pdf Add to Reading List Source URL: www.revistadialectica.org Language: Spanish - Date: 2014-03-17 19:37:43
60	Dialectica[removed]AUTORIZADA.pdf Add to Reading List Source URL: www.revistadialectica.org Language: Spanish - Date: 2014-03-17 19:38:21

UPDATE