Bunder's paradox
From MaRDI portal
Publication:3389494
Recommendations
Cites work
- scientific article; zbMATH DE number 5318491 (Why is no real title available?)
- scientific article; zbMATH DE number 3722625 (Why is no real title available?)
- scientific article; zbMATH DE number 3532923 (Why is no real title available?)
- scientific article; zbMATH DE number 3993540 (Why is no real title available?)
- A fixed point theorem for the weak Kleene valuation scheme
- A lattice-theoretical fixpoint theorem and its applications
- A paradox in illative combinatory logic
- Combinatory logic. Vol. II
- Higher-order illative combinatory logic
- On the inconsistency of systems similar to
- Outline of a Theory of Truth
- Scott's models and illative combinatory logic
- The combinatory foundations of mathematical logic
- The consistency of system Q
- The inconsistency of
- The inconsistency of certain formal logics
- The lambda calculus. Its syntax and semantics. Rev. ed.
Cited in
(7)
This page was built for publication: Bunder's paradox
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3389494)