Practical forms of type theory

From MaRDI portal

Revision as of 05:33, 7 March 2024 by Import240305080351 (talk | contribs) (Created automatically from import240305080351)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:5825231

Jump to:navigation, search

DOI10.2307/2267329zbMath0054.00603OpenAlexW2092575189MaRDI QIDQ5825231

Alan 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

Related Items (3)

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

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5825231&oldid=30646460"