An Introduction to Metalogic

Peterborough, CA: Broadview Press (2014)
  Copy   BIBTEX

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.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,227

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

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 - 2006 - New York: Routledge.
A short introduction to intuitionistic logic.G. E. Mint︠s︡ - 2000 - New York: 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]: Dover Publications.

Analytics

Added to PP
2014-01-26

Downloads
29 (#553,855)

6 months
8 (#370,225)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Aladdin M. Yaqub
Lehigh University

References found in this work

No references found.

Add more references