The Mathematics of Metamathematics. Państwowe Wydawnictow Naukowe (1963)

by Helena Rasiowa, Roman Sikorski