Switch to: Citations

References in:

Complete infinitary type logics

Studia Logica 63 (1):85-119 (1999)

Add references

You must login to add references.

Proof theory.K. Schütte - 1977 - New York: Springer Verlag.details Philosophy of Mathematics Proof Theory in Logic and Philosophy of Logic $106.21 used $107.01 new $117.72 from Amazon View on Amazon.com Direct download Export citation Bookmark 70 citations
Hauptsatz for higher order logic.Dag Prawitz - 1968 - Journal of Symbolic Logic 33 (3):452-457.details Logical Consequence and Entailment in Logic and Philosophy of Logic Second-Order Logic in Logic and Philosophy of Logic Direct download (8 more) Export citation Bookmark 20 citations
Languages with Expressions of InfiniteLength.Carol Ruth Karp - 1964 - North-Holland.details Areas of Mathematics in Philosophy of Mathematics Direct download (2 more) Export citation Bookmark 47 citations

1