Title: The mathematics of metamathematics [by] Helena Rasiowa and Roman Sikorski
Subjects: Metamathematics, Symbolic and mathematical Logic