The relative efficiency of propositional proof systems

Journal of Symbolic Logic 44 (1):36-50 (1979)
  Copy   BIBTEX


This article has no associated abstract. (fix it)



    Upload a copy of this work     Papers currently archived: 93,296

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

Frege systems for extensible modal logics.Emil Jeřábek - 2006 - Annals of Pure and Applied Logic 142 (1):366-379.
Propositional consistency proofs.Samuel R. Buss - 1991 - Annals of Pure and Applied Logic 52 (1-2):3-29.


Added to PP

27 (#609,703)

6 months
133 (#31,570)

Historical graph of downloads
How can I increase my downloads?

References found in this work

Natural Deduction: A Proof-Theoretical Study.Richmond Thomason - 1965 - Journal of Symbolic Logic 32 (2):255-256.
Introduction to Mathematical Logic.S. C. Kleene - 1956 - Journal of Symbolic Logic 23 (3):362-362.

Add more references