scientific article; zbMATH DE number 3236046
From MaRDI portal
Publication:5523665
zbMath0146.24504MaRDI QIDQ5523665
Publication date: 1966
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Arithmetical completeness theorems for monotonic modal logics ⋮ König's Infinity Lemma and Beth's Tree Theorem ⋮ Nonisomorphic atomless Boolean algebras ⋮ Andrzej Mostowski: A Biographical Note ⋮ Andrzej Mostowski and the Notion of a Model ⋮ Emergence, reduction and supervenience: a varied landscape ⋮ Mathematics and Symbolic Logics: Some Notes on an Uneasy Relationship ⋮ CURRENT RESEARCH ON GÖDEL’S INCOMPLETENESS THEOREMS ⋮ On simplicity of formulas ⋮ Extracting information from resolution proof trees ⋮ A NOTE ON DERIVABILITY CONDITIONS ⋮ A theory of computation based on quantum logic. I ⋮ Rosser provability and the second incompleteness theorem
