Home › Categories › Education & Learning› "Review: Introduction To Mathematical Logic By Alonzo Church"

"Review: Introduction To Mathematical Logic By Alonzo Church".pdf

S0002-9904-1957-10129-3.pdf

Preview of "Review: Introduction to Mathematical Logic by Alonzo Church"

🔗 Source: ams.org

📊 Size: 466 KB

📄 Pages: 4 pages

⬇️ Downloads: 613

Summary

The book "Introduction to Mathematical Logic, Vol. I" by Alonzo Church is a revised edition of the 1944 volume, with expanded and altered material. It covers propositional calculus, functional calculi of first order, and second-order calculi. The book has an introduction of 68 pages, 590 footnotes, and many exercises, making it a valuable reference volume. The author's emphasis is on logic as applied mathematics, and the book explains the relation between mathematical theory and language. However, the reviewer notes some shortcomings, such as the non-observance of the author's own restrictions on the use of English as a meta-language and the lack of discussion on the fruitful mathematical applications of the completeness theorem. Despite these, the book is an outstanding contribution to the field of mathematical logic.

Download File

Description

The book "Introduction to Mathematical Logic, Vol. I" by Alonzo Church is a revised edition of the 1944 volume, with expanded and altered material.

Technical Information

File Format: PDF
File Size: 466 KB
Pages: 4
Language: EN
Total Downloads: 613
Last Updated: 1 week ago

Document Overview

This PDF document about "Review: Introduction to Mathematical Logic by Alonzo Church" provides comprehensive information and guidance. Whether you're a beginner or advanced user, this resource offers valuable insights into "Review: Introduction to Mathematical Logic by Alonzo Church".