Title: A course in mathematical logic /
Authors: Manin, I͡U. I.
Publisher: Springer Verlag,
Year: 1977
Subjects: Logic, Symbolic and mathematical.