Unvollständigkeit und Unentscheidbarkeit : die metamathematischen Resultate von Gödel, Church, Kleene, Rosser ind ihre erkenntnistheoretische Bedeutung


Wolfgang Stegmüller
Bok Tysk 1973

Detaljer

Bibliotek som har denne