DOI10.1002/malq.19740201303zbMath0299.02031MaRDI QIDQ4053619
Martin W. Bunder
Publication date: 1974 Published in: Mathematical Logic Quarterly (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1002/malq.19740201303
Mathematics Subject Classification ID
03B40: Combinatory logic and lambda calculus
03C35: Categoricity and completeness of theories
Related Items