scientific article; zbMATH DE number 3198017
From MaRDI portal
Publication:5734418
zbMath0122.24601MaRDI QIDQ5734418
Publication date: 1963
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (36)
Frege's double correlation thesis and Quine's set theories NF and ML ⋮ Abbildungen ⋮ Relations in monadic third-order logic ⋮ A contingent Russell's paradox ⋮ ``Class as one and ``Class as many before modern set theory ⋮ Remarks on R. D. Tennent's Language design methods based on semantic principles: Algol 68, a language designed using semantic principles ⋮ Wittgenstein, Russell, and Our Concept of the Natural Numbers ⋮ Names and quantifiers: bringing them together in classical logic ⋮ The GOEDEL program ⋮ From geometry to conceptual relativity ⋮ Developing arithmetic in set theory without infinity: some historical remarks ⋮ `Identity' as a mereological term ⋮ Quine's conjecture on many-sorted logic ⋮ Unnamed Item ⋮ Zigzag and Fregean Arithmetic ⋮ Sets and plural comprehension ⋮ An automated prover for Zermelo-Fraenkel set theory in Theorema ⋮ Conceptual realism versus Quine on classes and higher-order logic ⋮ On bracketing names and quantifiers in first-order logic ⋮ Language design methods based on semantic principles ⋮ Definition of the concept 'vector' in set theoretic programming languages ⋮ Methodological Practice and Complementary Concepts of Logical Consequence: Tarski's Model-Theoretic Consequence and Corcoran's Information-Theoretic Consequence ⋮ Quine’s Substitutional Definition of Logical Truth and the Philosophical Significance of the Löwenheim-Hilbert-Bernays Theorem ⋮ Characterizations of ordinal numbers in set theory ⋮ Russell's 1903 - 1905 Anticipation of the Lambda Calculus ⋮ Proper classes as members of extended sets ⋮ A modern elaboration of the ramified theory of types ⋮ Peano's concept of number ⋮ Russell on the nature of logic (1903-1913) ⋮ Russell's substitutional theory ⋮ On ordinals ⋮ On ordinals ⋮ A critical appraisal of second-order logic ⋮ Property theory: The type-free approach \(v\). The Church approach ⋮ Descriptions in mathematical logic ⋮ Finite linnaean structures
This page was built for publication:
