Introduction to Mathematical Logic - Dinkines, Flora (The Appleton-Century Mathematics Series, 2, 1964)