Switch to: Citations

References in:

Uniform proofs as a foundation for logic programming

Dale Miller, Gopalan Nadathur, Frank Pfenning & Andre Scedrov

Annals of Pure and Applied Logic 51 (1-2):125-157 (1991)

Add references

You must login to add references.

Metamathematical investigation of intuitionistic arithmetic and analysis.Anne S. Troelstra - 1973 - New York,: Springer.details Intuitionism and Constructivism in Philosophy of Mathematics $65.92 new $69.99 from Amazon View on Amazon.com Direct download Export citation Bookmark 85 citations
Concerning formulas of the types a →b ∨c, a →(ex)b(X).Ronald Harrop - 1960 - Journal of Symbolic Logic 25 (1):27-32.details Intuitionistic Logic in Logic and Philosophy of Logic Logic and Philosophy of Logic Direct download (6 more) Export citation Bookmark 32 citations
A formulation of the simple theory of types.Alonzo Church - 1940 - Journal of Symbolic Logic 5 (2):56-68.details Logic and Philosophy of Logic Direct download (8 more) Export citation Bookmark 223 citations
Investigations into Logical Deduction.Gerhard Gentzen - 1964 - American Philosophical Quarterly 1 (4):288 - 306.details Inferentialist Accounts of Meaning and Content in Philosophy of Mind Direct download Export citation Bookmark 146 citations

1