Book

Introduction to Mathematical Logic, Volume I

by Alonzo Church