DOI10.4064/fm-82-3-199-215zbMath0299.02028OpenAlexW2108183905MaRDI QIDQ4053616
Hendrik Pieter Barendregt
Publication date: 1974 Published in: Fundamenta Mathematicae (Search for Journal in Brave) Full work available at URL: https://eudml.org/doc/214663
Mathematics Subject Classification ID
Combinatory logic and lambda calculus (03B40) Categoricity and completeness of theories (03C35)
Related Items