Unvollständigkeit und Unentscheidbarkeit : die metamathematischen Resultate von Gødel, Church, Kleene, Rosser und ihre erkenntnistheoretische Bedeutung
von Wolfgang Stegmyller
Bok Tysk 1959 Wolfgang Stegmüller
Utgitt | Wien : Springer , 1959
|
---|---|
Omfang | 114 s.
|
Emner | Church, Alonzo : (NO-TrBIB)90724263
Gödel, Kurt : (NO-TrBIB)90149423 Kleene, Stephen Cole : (NO-TrBIB)90708278 Rosser, J. Barkley : (NO-TrBIB)90539308 |
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 · 1970
Wolfgang Stegmüller
von Wolfgang Stegmyller
Bok · Tysk · 1970