A Set Theoretic Approach to the Simple Theory of Types1
From MaRDI portal
Publication:5638263
DOI10.1111/J.1755-2567.1969.TB00371.XzbMath0231.02017OpenAlexW2006295945MaRDI QIDQ5638263
Publication date: 1969
Published in: Theoria (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1111/j.1755-2567.1969.tb00371.x
This page was built for publication: A Set Theoretic Approach to the Simple Theory of Types1