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

Ein anspruchsvolles Buch, das die Schnittstelle zwischen rekursiven Funktionen und Metamathematik untersucht, Gödel’sche Unvollständigkeitstheorem ...
Wo zu kaufen (2) Eigenschaften
Gesponsert
Recursive Functions and Metamathematics: Problems of Completeness and Decidability, Gödel’s Theorems: Problems of Completeness and Decidability, Godel's Theorems (Synthese Library, Band 286)
Medimops DE
171.19 EUR
Preis aktualisiert am: 12-06-2026 07:34:05
Siehe Produktangebot
Gesponsert
Recursive Functions and Metamathematics
SpringerLink DE
171.19 EUR
Preis aktualisiert am: 12-06-2026 13:05:17
Siehe Produktangebot

Allgemein

Marke
Roman Murawski
ISBN
Roman Murawski 0792359046

Eigenschaften

Ähnliche Produkte

Recursive Functions and Metamathematics
Recursive Functions and Metamathematics
Produkt anzeigen
Parallelizing Compilers for Recursive Functions
Parallelizing Compilers for Recursive Functions
Produkt anzeigen
Enumerability · Decidability Computability: An Introduction to the Theory of Recursive Functions (Grundlehren der mathematischen Wissenschaften, 127, Band 127)
Enumerability · Decidability Computability: An Introduction to the Theory of Recursive Functions (Grundlehren der mathematischen Wissenschaften, 127, Band 127)
Produkt anzeigen
Rogers, Hartley: Theory of Recursive Functions and Effective Computability
Rogers, Hartley: Theory of Recursive Functions and Effective Computability
Produkt anzeigen
Computability: An Introduction to Recursive Function Theory
Computability: An Introduction to Recursive Function Theory
Produkt anzeigen
Computability: An Introduction to Recursive Function Theory
Computability: An Introduction to Recursive Function Theory
Produkt anzeigen
Menü