scientific article; zbMATH DE number 3348095
From MaRDI portal
zbMath0219.02037MaRDI QIDQ5623682
Jean-Louis Krivine, Georg Kreisel
Publication date: 1971
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Model theory (03Cxx)
Related Items
Applications of model theory to representations of finite-dimensional algebras, The Beth property in algebraic logic, Generalizing Computability Theory to Abstract Algebras, First-order continuous induction and a logical study of real closed fields, Definable Operations on Sets and Elimination of Imaginaries, On decidability and axiomatizability of some ordered structures, Doing logic by computer: Interpolation in fragments of intuitionistic propositional logic, The compactness of first-order logic:from gödel to lindström