Metalogic

Autorentext
Geoffrey Hunter, now retired, has taught in the Department of Logic and Metaphysics at the University of St. Andrews, Scotland, and has also taught in Canada, England, the United States, and Wales.

Zusammenfassung
Provides readers with complete proofs of the fundamental metatheorems of standard (that is, basically truth-functional) first order logic. This title includes a complete proof of the undecidability of first order logic, the most important fact about logic to emerge from the work of the last half-century.

#	Onlineshop	Preis CHF	Versand CHF	Total CHF
1	Seller	0.00	0.00	0.00