scientific article; zbMATH DE number 1066668
From MaRDI portal
Publication:4357731
Recommendations
- scientific article; zbMATH DE number 3878883
- scientific article; zbMATH DE number 47920
- A new reading of the \textit{Principia mathematica} by A. Whitehead and B. Russell
- The evolution of \textit{Principia Mathematica}. Bertrand Russell's manuscripts and notes for the second edition
- The Palgrave centenary companion to \textit{Principia mathematica}
Cited in
(32)- Hilbert's logic. From axiomatics to proof theory
- Logic in Russell's Principles of Mathematics
- Universe of discourse and existence
- From Dedekind to Zermelo versus Peano to Gödel
- Nominalism and constructivism in seventeenth-century mathematical philosophy
- Historical development of modern logic
- Why ramify?
- Logical consequence in Avicenna's theory
- Life on the Ship of Neurath: Mathematics in the Philosophy of Mathematics
- The evolution of \textit{Principia Mathematica}. Bertrand Russell's manuscripts and notes for the second edition
- On the termination of Russell's description elimination algorithm
- The anticipatory profile. An attempt to describe anticipation as process
- The Possibility and Fruitfulness of a Debate on the Principle of Non-contradiction
- scientific article; zbMATH DE number 3878883 (Why is no real title available?)
- Fragmentary structure of global knowledge: constructive processes for interoperability
- A Debate About Anderson's Logic
- scientific article; zbMATH DE number 3696535 (Why is no real title available?)
- scientific article; zbMATH DE number 47920 (Why is no real title available?)
- The need for a dialectical tier in arguments
- Sets and plural comprehension
- Pluralism and ``bad mathematical theories: challenging our prejudices
- Polymorphic type-checking for the ramified theory of types of \textit{Principia mathematica}
- Definite descriptions in intuitionist positive free logic
- Extension and self-connection
- The Limits of Predicativity Revisited
- scientific article; zbMATH DE number 3251412 (Why is no real title available?)
- Predicative logic and formal arithmetic
- On fundamental differences between dependent and independent meanings
- Substitutional quantification in truth-theories for modal languages
- Stratified formulas are not context-free
- Hilbert's epsilon as an operator of indefinite committed choice
- Schönfinkel-type operators for classical logic
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4357731)
