The mathematics of metamathematics (1963)

by Helena Rasiowa, Roman Sikorski
Venue:PWN, Polish Scientific Publishers