Types in logic and mathematics before 1940

Bulletin of Symbolic Logic

Volumn 8, Issue 2, 2002, Pages 185-245

  Kamareddine, Fairouz ^a   Laan, Twan ^a   Nederpelt, Rob ^a  

^a HERIOT WATT UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0036017444     PISSN: 10798986     EISSN: None     Source Type: Journal    
DOI: 10.1016/B978-0-444-52937-4.50009-5     Document Type: Chapter

References (75)

1. The lambda calculus: Its syntax and semantics
2. The foundations of mathematics
3. The iterative conception of set
4. Una questione sui numeri transfiniti
5. Beiträge zur begründung der transfiniten mengenlehre (Erster Artikel)
6. Beiträge zur begründung der transfiniten mengenlehre (Zweiter Artikel)
7. A set of postulates for the foundation of logic (1)
8. A set of postulates for the foundation of logic (2)
9. A formulation of the simple theory of types
10. Comparison of Russell's resolution of the semantic antinomies with that of Tarski
11. Frege's double correlation thesis and Quine's set theories NF and ML
12. Philosophical perspectives on formal theories of predication
13. Functionality in combinatory logic
14. Foundations of mathematical logic
15. Combinatory logic I
16. Towards useful type-free theories I
17. Über sinn und bedeutung
18. Ueber die begriffschrift des herrn peano und meine eigene
19. Über formal unentscheidbare sätze der principia mathematica und verwandter systeme I
20. Russell's mathematical logic
21. Grundzüge der theoretischen logik
22. Systems of combinatory logic related to predicative and "mildly impredicative" fragments of Quine's "new foundations"
23. Subsystems of Quine's "New Foundations" with predicativity restrictions
24. On the consistency of a slight modification of Quine's NF
25. A reflection on Russell's Ramified Types and Kripke's hierarchy of truths
26. A correspondence between Martin-Löf type theory, the Ramified Theory of types and pure type systems
27. Outline of a theory of truth
28. A formalization of the Ramified Type Theory
29. A modern elaboration of the Ramified Theory of Types
30. Ups and downs of type theory
31. Du rôle de l'intuition et de la logique en mathematiques
32. New foundations for mathematical logic
33. The foundations of mathematics
34. Highlights of the history of the lambda-calculus
35. Mathematical logic as based on the theory of types
36. Über die bausteine der mathematischen logik
37. Beweistheorie
38. The axiom of choice in Quine's new foundations for mathematical logic
39. Untersuchungen über die grundlagen der mengenlehre