Proof theory and meaning: On second order logic

Author unknown

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 74,594

External links

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

Through your library

  • Only published works are available at libraries.

Similar books and articles

Logic and Probability.Kenny Easwaran - 2010 - Journal of the Indian Council of Philosophical Research 27 (2):229-253.
Inferentializing Semantics.Jaroslav Peregrin - 2010 - Journal of Philosophical Logic 39 (3):255 - 274.
Proof Theory of Modal Logic.Heinrich Wansing (ed.) - 1996 - Dordrecht, Netherland: Kluwer Academic Publishers.
Provability with Finitely Many Variables.Robin Hirsch, Ian Hodkinson & Roger D. Maddux - 2002 - Bulletin of Symbolic Logic 8 (3):348-379.
Basic Proof Theory.A. S. Troelstra - 2000 - Cambridge University Press.

Analytics

Added to PP
2009-01-28

Downloads
13 (#760,424)

6 months
1 (#418,924)

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