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

171.19 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