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

Book 160 of 304: Synthese Library

Murawski, Roman

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

This specific ISBN edition is currently not available.

Synopsis

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

"synopsis" may belong to another edition of this title.

Publisher
Springer
Publication date
2013
Language
English
ISBN 10 
9401728674
ISBN 13 
9789401728676
Binding
Paperback
Number of pages
412

Other Popular Editions of the Same Title

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

Featured Edition

ISBN 10:  0792359046 ISBN 13:  9780792359043
Publisher: Springer, 1999
Hardcover