Metalogic

Discover the profound insights of logic with Metalogic by Geoffrey Hunter, published by the esteemed University of California Press in 1973. This engaging paperback spans 302 pages and serves as an essential resource for anyone interested in mathematical logic and philosophy.

In Metalogic, Hunter provides readers with comprehensive proofs of the fundamental metatheorems of standard first-order logic, which is primarily truth-functional. One of the highlights of this work is the complete proof of the undecidability of first-order logic, a pivotal finding that has shaped the field over the last fifty years. This book is a must-have for students, scholars, and enthusiasts of logic and philosophy, offering a deep dive into the intricacies of metatheory.

Enhance your understanding of logic with this classic text that combines rigorous analysis with clear explanations.