Recursive Functions and Metamathematics: Problems of Completeness and Decidability, Gödel's Theorems - Tapa blanda

Libro 160 de 304: Synthese Library

Murawski, Roman

 
9789401728676: Recursive Functions and Metamathematics: Problems of Completeness and Decidability, Gödel's Theorems
Tapa blanda
ISBN 10: 9401728674 ISBN 13: 9789401728676
Editorial: Springer, 2013

Esta edición ISBN ya no está disponible.

Sinopsis

Preface. Introduction. 1. Recursive Functions. 2. Gödel's Incompleteness Theorems. 3. Decidability Theory. 4. Philosophical Comments. Bibliography. List of Symbols. Index.

"Sinopsis" puede pertenecer a otra edición de este libro.

Editorial
Springer
Año de publicación
2013
Idioma
Inglés
ISBN 10 
9401728674
ISBN 13 
9789401728676
Encuadernación
Taschenbuch
Contacto del fabricante
no disponible
Persona responsable
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Alemania

Otras ediciones populares con el mismo título

9780792359043: Recursive Functions and Metamathematics: Problems of Completeness and Decidability, Gödel's Theorems: 286 (Synthese Library, 286)

Edición Destacada

ISBN 10:  0792359046 ISBN 13:  9780792359043
Editorial: Springer, 1999
Tapa dura