Book

Introduction To Mathematical Logic Vol 1

by Alonzo Church