scientific article
From MaRDI portal
Publication:3214888
zbMath0272.02036MaRDI QIDQ3214888
Publication date: 1973
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Intermediate logics (03B55)
Related Items
Realizability and recursive set theory, Analyzing realizability by Troelstra's methods, Theory of proofs (arithmetic and analysis), From constructivism to computer science, From computation to foundations via functions and application: The \(\lambda\)-calculus and its webbed models, Realizability and intuitionistic logic, On effectively computable realizations of choice functions
