Introduction to Mathematical Logic (1964)

by Elliott Mendelson