Introduction to Mathematical Logic
This is a compact mtroduction to some of the pnncipal tOpICS of mathematical logic .
This is a systematic and well-paced introduction to mathematical logic. Excellent as a course text, the book presupposes only elementary background and can be used also for self-study by more ambitious students.
At his death in 1995, Church was still regarded as the greatest mathematical logician in the world. This book is intended to be used as a textbook by students of mathematics, and also within limitations as a reference work.
This is a systematic and well-paced introduction to mathematical logic. Excellent as a course text, the book does not presuppose any previous knowledge and can be used also for self-study by more ambitious students.
This book grew out of lectures.
This book is intended as an undergraduate senior level or beginning graduate level text for mathematical logic.
(1941) The Tw-Valued Iterative Systems of Mathematical Logic, Princeton University Press. (1943) Formal reductions of the ... J.A. (1965) A machine-oriented logic based on the resolution principle, J. Assoc. Comp. Mach., 12, 23–41.