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

Bibliotek som har denne