Title: Lecture notes in mathematical logic
First published: 1962
Subjects: Logic, Symbolic and mathematical, Metamathematics, Symbolic and mathematical Logic