scientific article
From MaRDI portal
Publication:3874195
zbMath0435.03038MaRDI QIDQ3874195
Stephen C. Kleene, Richard E. Vesley
Publication date: 1978
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Intuitionistic mathematics (03F55)
Related Items (2)
The consistency of some intuitionistic and constructive principles with a set theory ⋮ Making logical inferences in inconsistent systems
This page was built for publication:
