Switch to: References

Citations of:

Much Shorter Proofs

Dick de Jongh & Franco Montagna

Mathematical Logic Quarterly 35 (3):247-260 (1989)

Add citations

You must login to add citations.

Polynomially and superexponentially shorter proofs in fragments of arithmetic.Franco Montagna - 1992 - Journal of Symbolic Logic 57 (3):844-863.details Logic and Philosophy of Logic Proof Theory in Logic and Philosophy of Logic Direct download (8 more) Export citation Bookmark 2 citations
European Summer Meeting of the Association for Symbolic Logic (Logic Colloquium'88), Padova, 1988.R. Ferro - 1990 - Journal of Symbolic Logic 55 (1):387-435.details Logic and Philosophy of Logic Logic and Philosophy of Logic, Misc in Logic and Philosophy of Logic Direct download (4 more) Export citation Bookmark

1