Some anomalies in Fitch's system QD
From MaRDI portal
Publication:4196398
DOI10.2307/2272822zbMath0409.03005MaRDI QIDQ4196398
Jonathan P. Seldin, Martin W. Bunder
Publication date: 1978
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2272822
03B40: Combinatory logic and lambda calculus