scientific article; zbMATH DE number 3392414
From MaRDI portal
zbMath0248.02033MaRDI QIDQ5661851
Publication date: 1968
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Proof theory and constructive mathematics (03F99)
Related Items
Predicativity, the Russell-Myhill paradox, and Church's intensional logic, An institution-independent proof of the Robinson consistency theorem, Unnamed Item, Mehrsortige logische Systeme mit unendlich langen Formeln I, Glivenko sequent classes and constructive cut elimination in geometric logics, On full embeddings. I, A formal system for parallel programs in discrete time and space, Unnamed Item, Invariant computations for analytic projective geometry, Well-Partial Orderings and their Maximal Order Types, Which Quantifiers Are Logical? A Combined Semantical and Inferential Criterion, Some Remarks on the Proof-Theory and the Semantics of Infinitary Modal Logic, Correct Answers for First Order Logic, Kripke completeness of infinitary predicate multimodal logics, Quantifier-complete categories, The old and the new logic of metascience, From Choosing Elements to Choosing Concepts: The Evolution of Feferman’s Work in Model Theory, Lefschetz's principle, Geometric Rules in Infinitary Logic, Global definability theory in 𝐿_{𝜔₁𝜔}, Two theorems on mix-relativization
