Recursive Functions and Metamathematics: Problems of Completeness and Decidability | Kaicus Deutschland

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

159.34 EUR 16% Off 189.00 EUR

Ein anspruchsvolles Werk über rekursive Funktionen und Metamathematik, das Gödel’sche Unvollständigkeitstheoreme detailliert untersucht und neue Perspektiven zu Vollständigkeits‑ und Entscheidbarkeitsfragen bietet.

Marke: Roman Murawski
ISBN: 0792359046