Finite sets and natural numbers in intuitionistic TT
From MaRDI portal
Publication:1374211
DOI10.1305/ndjfl/1040046143zbMath0882.03049OpenAlexW2074489549MaRDI QIDQ1374211
Publication date: 2 December 1997
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1040046143
Heyting arithmeticfinite setsnatural numbersintuitionistic set theoryintuitionistic TTSimple Theory of Types
First-order arithmetic and fragments (03F30) Nonclassical and second-order set theories (03E70) Second- and higher-order arithmetic and fragments (03F35)
Cites Work
This page was built for publication: Finite sets and natural numbers in intuitionistic TT