The relative efficiency of propositional proof systems

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

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 76,363

External links

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

Through your library

Analytics

Added to PP
2009-01-28

Downloads
102 (#123,290)

6 months
2 (#299,675)

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