×

zbMATH — the first resource for mathematics

A formulation of the simple theory of types. (English) Zbl 1226.03015
Benzmüller, Christoph (ed.) et al., Reasoning in simple type theory. Festschrift in honor of Peter B. Andrews on his 70th birthday. London: College Publications (ISBN 978-1-904987-70-3/pbk). Studies in Logic (London) 17. Mathematical Logic and Foundations, 35-47 (2008).
Reprint of [J. Symb. Log. 5, 56–68 (1940; Zbl 0023.28901; JFM 66.1192.06)].
For the entire collection see [Zbl 1196.03002].
MSC:
03B15 Higher-order logic; type theory (MSC2010)
03B40 Combinatory logic and lambda calculus
01A75 Collected or selected works; reprintings or translations of classics
PDF BibTeX XML Cite