Book

Introduction to Mathematical Logic (PMS-13), Volume 13

by Alonzo Church