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

Bibliographic Details
Main Author: Stegmüller, Wolfgang
Format: Book
Published: Wien : Springer, 1959.
Subjects: