Artículos relacionados a A Course on Mathematical Logic
Sinopsis
Preface.- 1 Syntax of First-Order Logic.- 2 Semantics of First-Order Languages.- 3 Propositional Logic.- 4 Completeness Theorem for First-Order Logic.- 5 Model Theory.- 6 Recursive Functions and Arithmetization of Theories.- 7 Incompleteness Theorems and Recursion Theory.- References.- Index.
"Sinopsis" puede pertenecer a otra edición de este libro.
- EditorialSpringer
- Año de publicación2013
- ISBN 10 1461457475
- ISBN 13 9781461457473
- EncuadernaciónPaperback
- IdiomaInglés
- Contacto del fabricanteno disponible
(Ningún ejemplar disponible)
Buscar: Crear una petición¿No encuentra el libro que está buscando? Seguiremos buscando por usted. Si alguno de nuestros vendedores lo incluye en IberLibro, le avisaremos.
Crear una petición
