Broadview Press (2014)

Authors
Aladdin M. Yaqub
Lehigh University
Abstract
_An Introduction to Metalogic_ is a uniquely accessible introduction to the metatheory of first-order predicate logic. No background knowledge of logic is presupposed, as the book is entirely self-contained and clearly defines all of the technical terms it employs. Yaqub begins with an introduction to predicate logic and ends with detailed outlines of the proofs of the incompleteness, undecidability, and indefinability theorems, covering many related topics in between.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
Buy this book $24.77 used (21% off)   $29.95 new (5% off)   Amazon page
ISBN(s) 9781770483811   1554811716   1770483810
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 69,177
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

Add more citations

Similar books and articles

Basic Predicate Calculus.Wim Ruitenburg - 1998 - Notre Dame Journal of Formal Logic 39 (1):18-46.
Reverse Mathematics and Completeness Theorems for Intuitionistic Logic.Takeshi Yamazaki - 2001 - Notre Dame Journal of Formal Logic 42 (3):143-148.
Undecidability and Intuitionistic Incompleteness.D. C. McCarty - 1996 - Journal of Philosophical Logic 25 (5):559 - 565.
Wittgensteinian Predicate Logic.Kai F. Wehmeier - 2004 - Notre Dame Journal of Formal Logic 45 (1):1-11.
Logic: An Introduction.Greg Restall - 2004 - Oxford, England: Routledge.
A Short Introduction to Intuitionistic Logic.G. E. Mint͡s - 2000 - Kluwer Academic / Plenum Publishers.
Predicate Logics on Display.Heinrich Wansing - 1999 - Studia Logica 62 (1):49-75.
The Elements of Mathematical Logic.Paul Charles Rosenbloom - 1950 - New York, NY, USA: New York]Dover Publications.

Analytics

Added to PP index
2014-01-26

Total views
8 ( #1,003,123 of 2,499,375 )

Recent downloads (6 months)
3 ( #209,699 of 2,499,375 )

How can I increase my downloads?

Downloads

My notes