E-Book, Englisch, Band 286, 395 Seiten
Reihe: Synthese Library
Murawski Recursive Functions and Metamathematics
Erscheinungsjahr 2013
ISBN: 978-94-017-2866-9
Verlag: Springer Netherlands
Format: PDF
Kopierschutz: 1 - PDF Watermark
Problems of Completeness and Decidability, Gödel's Theorems
E-Book, Englisch, Band 286, 395 Seiten
Reihe: Synthese Library
ISBN: 978-94-017-2866-9
Verlag: Springer Netherlands
Format: PDF
Kopierschutz: 1 - PDF Watermark




