A generalised Kleene-Rosser paradox for a system containing the combinator K
From MaRDI portal
Publication:2539864
DOI10.1305/NDJFL/1093890807zbMath0197.28203OpenAlexW2021601748MaRDI QIDQ2539864
Publication date: 1973
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1093890807
Related Items (1)
Some consistency proofs and a characterization of inconsistency proofs in illative combinatory logic
This page was built for publication: A generalised Kleene-Rosser paradox for a system containing the combinator K
