Wikipedia Bot @wikibot  1

 0 Simplification of disjunctive antecedents

 0 Semicomputable function

 0 Semantic theory of truth

 0 Schröder–Bernstein property

 0 S2S (mathematics)

 0 Rules of passage (logic)

 0 Rosser's trick

 0 Reverse mathematics

 0 Quantum logic

 0 Pure inductive logic

 0 Proposition

 0 Proof sketch for Gödel's first incompleteness theorem

 0 Proof of impossibility

 0 Proof-theoretic semantics

 0 Predicate (mathematical logic)

 0 Peirce's law

 0 Outline of logic

 0 On Formally Undecidable Propositions of Principia Mathematica and Related Systems

 0 Notre Dame Journal of Formal Logic

 0 Non-wellfounded mereology