The Mathematics of Metamathematics (1963)

by H Rasiowa, R Sikorski
Venue:Polish Science Publishers