Unvollständigkeit und Unentscheidbarkeit : die metamathematischen Resultate von Gødel, Church, Kleene, Rosser und ihre erkenntnistheoretische Bedeutung
von Wolfgang Stegmyller
Bok Tysk 1970 Wolfgang Stegmüller
Utgitt | Wien : Springer , 1970
|
---|---|
Omfang | 114 s.
|
Utgave | 2., berichtigte Aufl.
|
Emner | Church, Alonzo : (NO-TrBIB)90724263
Gödel, Kurt : (NO-TrBIB)90149423 Kleene, Stephen Cole : (NO-TrBIB)90708278 Rosser, J. Barkley : (NO-TrBIB)90539308 |
ISBN | 0387812083. - 3211812083. - 9780387812083. - 9783211812082
|
Unvollständigkeit und Unentscheidbarkeit : die metamathematischen Resultate von Gødel, Church, Kleene, Rosser und ihre erkenntnistheoretische Bedeutung
Wolfgang Stegmüller
von Wolfgang Stegmyller
Bok · Tysk · 1959
Wolfgang Stegmüller
von Wolfgang Stegmyller
Bok · Tysk · 1959