DOI10.1305/ndjfl/1093882400zbMath0285.02052OpenAlexW2038965748MaRDI QIDQ1844833
Andre Chauvin
Publication date: 1975 Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1305/ndjfl/1093882400
zbMATH Keywords
diagonalizationmathematical objectsideal terms
Mathematics Subject Classification ID
Nonclassical and second-order set theories (03E70) Combinatory logic and lambda calculus (03B40)
Related Items