scientific article
From MaRDI portal
Publication:4047525
zbMath0295.02009MaRDI QIDQ4047525
Publication date: 1973
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Classical first-order logic (03B10) Decidability of theories and sets of sentences (03B25) Intuitionistic mathematics (03F55) Intermediate logics (03B55)
Related Items (5)
An Application of the Yankov Characteristic Formulas ⋮ Finite problems and the logic of the weak law of excluded middle ⋮ A survey of predicate realizability logic ⋮ Modified realizability and predicate logic ⋮ Constructive formalization of the Tennenbaum theorem and its applications
This page was built for publication: