Practical forms of type theory

DOI10.2307/2267329MaRDI QIDQ5825231zbMATH OpenOpenAlexFDO

Authors A. M. Turing

Publication date 1948

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2267329

zbMATH Keywords

foundations, philosophy, logic

Cited in

(3)

• A Review of Mathematical Knowledge Management
• NATURAL FORMALIZATION: DERIVING THE CANTOR-BERNSTEIN THEOREM IN ZF
• The seven virtues of simple type theory

This page was built for publication: Practical forms of type theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5825231)