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

Livre 160 sur 304: Synthese Library

Murawski, Roman

 
9789401728676: Recursive Functions and Metamathematics: Problems of Completeness and Decidability, Gödel's Theorems
Couverture souple
ISBN 10 : 9401728674 ISBN 13 : 9789401728676
Editeur : Springer, 2013

L'édition de cet ISBN n'est malheureusement plus disponible.

Synopsis

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

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
Springer
Date d'édition
2013
Langue
anglais
ISBN 10 
9401728674
ISBN 13 
9789401728676
Reliure
Paperback
Coordonnées du fabricant
non disponible
Personne responsable
non disponible

Autres éditions populaires du même titre

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

Edition présentée

ISBN 10 :  0792359046 ISBN 13 :  9780792359043
Editeur : Kluwer Academic Publishers, 1999
Couverture rigide