The Bulletin of Symbolic Logic
journal article
The Complexity of Propositional Proofs
Alasdair Urquhart
The Bulletin of Symbolic Logic
Vol. 1, No. 4 (Dec., 1995), pp. 425-467 (43 pages)
Published By: Association for Symbolic Logic
The Bulletin of Symbolic Logic
https://doi.org/10.2307/421131
https://www.jstor.org/stable/421131
This is a preview. Log in through your library.
Preview