Introduction to Mathematical Logic (1987)

by E Mendelson