A formulation of the simple theory of types.

From MaRDI portal

Publication:2589521

Jump to:navigation, search

DOI10.2307/2266170zbMath66.1192.06OpenAlexW1996404651WikidataQ56001156 ScholiaQ56001156MaRDI QIDQ2589521

Alonzo Church

Publication date: 1940

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

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

This page was built for publication: A formulation of the simple theory of types.

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