scientific article; zbMATH DE number 1032006
From MaRDI portal
Publication:4343987
zbMath0875.03021MaRDI QIDQ4343987
Publication date: 8 July 1997
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Twenty-five basic theorems in situation and world theory, Predicativity, the Russell-Myhill paradox, and Church's intensional logic, A propositional logic with relative identity connective and a partial solution to the paradox of analysis, Large-deviation results for discriminant statistics of Gaussian locally stationary processes, Fuzzy relational modalities admitting truth-valueless propositions, On fuzzy type theory, Property theory: The type-free approach \(v\). The Church approach
