]> 2026-08-06T23:56:38+00:00 Mathematical logic 14 en 2007-10-14T14:48:23Z 2454388.1169329 Mathematical logic Dummy variable 0 en Dummy variable Natural deduction 0 en Natural deduction Vacuous truth 0 en Vacuous truth Peirce's law 0 en Peirce's law Proof theory 0 en Proof theory Laws of Form 0 en Laws of Form Logical graph 0 en Logical graph Hypostatic abstraction 0 en Hypostatic abstraction Continuous predicate 0 en Continuous predicate Prescisive abstraction 0 en Prescisive abstraction Entitative graph 0 en Entitative graph Charles Sanders Peirce bibliography 0 en Peirce, Charles Sanders Consequence operator 0 en Consequence operator Cyclic negation 0 en Cyclic negation Contradiction 0 en Contradiction Mathematical logic 0 en Mathematical logic Metamathematics 0 en Metamathematics Association for Symbolic Logic 0 en Association for Symbolic Logic New Foundations 0 en New Foundations Contraposition 0 en Contraposition Curry's paradox 0 en Curry's paradox Game semantics 0 en Game semantics Löb's theorem 0 en Löb's theorem List of basic topics in logic 0 en List of basic topics in logic Algorithm 0 en Algorithm Indicator function 0 en Indicator function Set theory 0 en Set theory Mathematical induction 0 en Mathematical induction Mathematical proof 0 en Mathematical proof Recursion 0 en Recursion Operation (mathematics) 0 en Operation (mathematics) Modal logic 14 en Modal logic Proof theory 14 en Proof theory Algorithm 0 en Algorithm Association for Symbolic Logic 0 en Association for Symbolic Logic Consequence operator 0 en Consequence operator Continuous predicate 0 en Continuous predicate Contradiction 0 en Contradiction Contraposition 0 en Contraposition Curry's paradox 0 en Curry's paradox Cyclic negation 0 en Cyclic negation Dummy variable 0 en Dummy variable Entitative graph 0 en Entitative graph Game semantics 0 en Game semantics Hypostatic abstraction 0 en Hypostatic abstraction Indicator function 0 en Indicator function Laws of Form 0 en Laws of Form List of basic topics in logic 0 en List of basic topics in logic Logical graph 0 en Logical graph Löb's theorem 0 en Löb's theorem Mathematical induction 0 en Mathematical induction Mathematical logic 0 en Mathematical logic Mathematical proof 0 en Mathematical proof Metamathematics 0 en Metamathematics Natural deduction 0 en Natural deduction New Foundations 0 en New Foundations Operation (mathematics) 0 en Operation (mathematics) Peirce's law 0 en Peirce's law Charles Sanders Peirce bibliography 0 en Peirce, Charles Sanders Prescisive abstraction 0 en Prescisive abstraction Proof theory 0 en Proof theory Recursion 0 en Recursion Set theory 0 en Set theory Vacuous truth 0 en Vacuous truth INST 102 en INST Subcategory of 102 en Subcategory of