Esta edición ISBN ya no está disponible.
Introduction.- Propositional Logic.- Predicate Logic.- Completeness and Applications.- Second Order Logic.- Intuitionistic Logic.- Normalization.- Gödel's theorem.
"Sinopsis" puede pertenecer a otra edición de este libro.
(Ningún ejemplar disponible)
¿No encuentra el libro que está buscando? Seguiremos buscando por usted. Si alguno de nuestros vendedores lo incluye en IberLibro, le avisaremos.
ISBN 10: 038712831X ISBN 13: 9780387128313 Tapa dura
Se le cobrará en {0}.
Verá los precios en {0} solo como referencia. Sus pedidos se procesarán en {1}.
Más información sobre las preferencias de moneda.