Publication:4047525
From MaRDI portal
zbMath0295.02009MaRDI QIDQ4047525
Publication date: 1973
03B10: Classical first-order logic
03B25: Decidability of theories and sets of sentences
03F55: Intuitionistic mathematics
03B55: Intermediate logics
Related Items
An Application of the Yankov Characteristic Formulas, Constructive formalization of the Tennenbaum theorem and its applications, Modified realizability and predicate logic, Finite problems and the logic of the weak law of excluded middle, A survey of predicate realizability logic