scientific article
From MaRDI portal
Publication:3283891
zbMath0101.24902MaRDI QIDQ3283891
A. N. Whitehead, Bertrand A. W. Russell
Publication date: 1962
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Particle-free bodies and point-free spaces, Formalizing common sense: an operator-based approach to the Tibbles-Tib problem, Russell, presupposition, and the vicious-circle principle, Invariant fuzzy implications, Schönfinkel-type operators for classical logic, A logical model of genetic activities in Lukasiewicz algebras: The non- linear theory, The logic of the ontological square, The foundation of a generic theorem prover, Breadth-first search: some surprising results, Computerizing Mathematical Text with MathLang, THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC
