Introduction to Mathematical Logic (1964)

by E Mendelson