Metalogic: An Introduction to the Metatheory of Standard First Order Logic

Philosophical Books 13 (1):12-14 (1972)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

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

Philosophical books.[author unknown] - 1972 - Philosophical Books 13 (2):1-38.
Non-classical Metatheory for Non-classical Logics.Andrew Bacon - 2013 - Journal of Philosophical Logic 42 (2):335-355.
Reflexive Intermediate Propositional Logics.Nathan C. Carter - 2006 - Notre Dame Journal of Formal Logic 47 (1):39-62.
Nominalistic metalogic.Ken Akiba - 1998 - Journal of Philosophical Logic 27 (1):35-47.
Intuitionistic Completeness and Classical Logic.D. C. McCarty - 2002 - Notre Dame Journal of Formal Logic 43 (4):243-248.

Analytics

Added to PP
2015-02-02

Downloads
18 (#814,090)

6 months
5 (#638,139)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references