Introduction to Mathematical Logic
Publisher: Van Nostrand,
Published: 1966