Algebra of proofs

New York: sole distributors for the U.S.A. and Canada, Elsevier North-Holland (1978)
  Copy   BIBTEX

Abstract

Provability, Computability and Reflection

Categories

Keywords

Reprint years

Call number

QA9.54.S94

ISBN(s)

0720422868

DOI

10.2307/2273112
View all bargains

Buy this book

Links

PhilArchive



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

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

Identity of proofs based on normalization and generality.Kosta Došen - 2003 - Bulletin of Symbolic Logic 9 (4):477-503.
Partial Combinatory Algebras of Functions.Jaap van Oosten - 2011 - Notre Dame Journal of Formal Logic 52 (4):431-448.
An accompaniment to higher mathematics.George R. Exner - 1997 - New York: Springer.
Vigre Lectures.Harvey M. Friedman - unknown
Some consistency proofs and a characterization of inconsistency proofs in illative combinatory logic.M. W. Bunder - 1987 - Journal of Symbolic Logic 52 (1):89-110.
A hierarchy of languages, logics, and mathematical theories.Charles W. Kastner - 2003
.[author unknown] - unknown

Analytics

Added to PP
2009-01-28

Downloads
31 (#484,163)

6 months
14 (#148,809)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Hyperdoctrines, Natural Deduction and the Beck Condition.Robert A. G. Seely - 1983 - Mathematical Logic Quarterly 29 (10):505-542.
Modal translations in substructural logics.Kosta Došen - 1992 - Journal of Philosophical Logic 21 (3):283 - 336.
Bicartesian coherence.Kosta Došen & Zoran Petrić - 2002 - Studia Logica 71 (3):331 - 353.

View all 12 citations / Add more citations

References found in this work

No references found.

Add more references