Metalogic: an introduction to the metatheory of standard first order logic

Berkeley,: University of California Press (1971)
  Copy   BIBTEX

Abstract

This work makes available to readers without specialized training in mathematics complete proofs of the fundamental metatheorems of standard (i.e., basically ...

Categories

Keywords

Reprint years

Call number

BC128.H85 1971

ISBN(s)

0520018222   0520023560

DOI

10.1111/j.1468-0149.1972.tb03773.x
View all bargains

Buy this book

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

My notes

Similar books and articles

First-order logic: an introduction.Leigh S. Cauman - 1998 - New York: Walter de Gruyter.
Logic with trees: an introduction to symbolic logic.Colin Howson - 1997 - New York: Routledge.
Second-order Logic Revisited.Otavio Bueno - unknown
Representability in second-order propositional poly-modal logic.G. Aldo Antonelli & Richmond H. Thomason - 2002 - Journal of Symbolic Logic 67 (3):1039-1054.
Higher-Order Logic or Set Theory: A False Dilemma.S. Shapiro - 2012 - Philosophia Mathematica 20 (3):305-323.
Logic: A Primer.Erich Rast - manuscript
Basic proof theory.A. S. Troelstra - 1996 - New York: Cambridge University Press. Edited by Helmut Schwichtenberg.
Pure Second-Order Logic with Second-Order Identity.Alexander Paseau - 2010 - Notre Dame Journal of Formal Logic 51 (3):351-360.

Analytics

Added to PP
2009-01-28

Downloads
196 (#98,610)

6 months
19 (#130,686)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Intuitions for inferences.Sinan Dogramaci - 2012 - Philosophical Studies 165 (2):371-399.
Knowledge of Validity.Sinan Dogramaci - 2010 - Noûs 44 (3):403-432.
Software Intensive Science.John Symons & Jack Horner - 2014 - Philosophy and Technology 27 (3):461-477.
Frontiers of Conditional Logic.Yale Weiss - 2019 - Dissertation, The Graduate Center, City University of New York

View all 20 citations / Add more citations

References found in this work

No references found.

Add more references