Metamathematics 1970-01-01
Read the full article
Mivar-based approach 1970-01-01
Read the full article
Monadic second-order logic 1970-01-01
Read the full article
Non-wellfounded mereology 1970-01-01
Read the full article
Notre Dame Journal of Formal Logic 1970-01-01
Read the full article
On Formally Undecidable Propositions of Principia Mathematica and Related Systems 1970-01-01
Read the full article
Outline of logic 1970-01-01
Read the full article
Peirce's law 1970-01-01
Read the full article
Predicate (mathematical logic) 1970-01-01
Read the full article
Proof-theoretic semantics 1970-01-01
Read the full article
Proof of impossibility 1970-01-01
Read the full article
Proof sketch for Gödel's first incompleteness theorem 1970-01-01
Read the full article
Proposition 1970-01-01
Read the full article
Pure inductive logic 1970-01-01
Read the full article
Quantum logic 1970-01-01
Read the full article
Reverse mathematics 1970-01-01
Read the full article
Rosser's trick 1970-01-01
Read the full article
Rules of passage (logic) 1970-01-01
Read the full article
S2S (mathematics) 1970-01-01
Read the full article
Schröder–Bernstein property 1970-01-01
Read the full article