The inconsistency of

DOI10.2307/2272246zbMath0332.02034OpenAlexW1992256554MaRDI QIDQ4096923

W. M. Bunder

Publication date: 1976

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2272246

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Related Items (1)

BUNDER’S PARADOX

This page was built for publication: The inconsistency of