Recursive Functions and Metamathematics: Problems of Completeness and Decidability, Gödel's Theorems - Softcover
Inhaltsangabe
Preface. Introduction. 1. Recursive Functions. 2. Gödel's Incompleteness Theorems. 3. Decidability Theory. 4. Philosophical Comments. Bibliography. List of Symbols. Index.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
