Twierdzenie Gödla - Nagel, Ernest; Stanosz, Barbara (Warszawa : Państwowe Wydawnictwo Naukowe, 1966)
Keywords: logika; Matematyka