Matches in DBpedia 2014 for { ?s ?p <http://dbpedia.org/resource/Category:Mathematical_logic> . }
- Outline_of_logic subject Category:Mathematical_logic.
- Peano_axioms subject Category:Mathematical_logic.
- Peirce's_law subject Category:Mathematical_logic.
- Predicate_(mathematical_logic) subject Category:Mathematical_logic.
- Principia_Mathematica subject Category:Mathematical_logic.
- Proof_of_impossibility subject Category:Mathematical_logic.
- Proof_sketch_for_Gödel's_first_incompleteness_theorem subject Category:Mathematical_logic.
- Proof_theory subject Category:Mathematical_logic.
- Proposition subject Category:Mathematical_logic.
- Quantum_logic subject Category:Mathematical_logic.
- Recursion subject Category:Mathematical_logic.
- Recursive_definition subject Category:Mathematical_logic.
- Relation_algebra subject Category:Mathematical_logic.
- Residuated_Boolean_algebra subject Category:Mathematical_logic.
- Residuated_lattice subject Category:Mathematical_logic.
- Reverse_mathematics subject Category:Mathematical_logic.
- Rewriting subject Category:Mathematical_logic.
- Robinson's_joint_consistency_theorem subject Category:Mathematical_logic.
- Rosser's_trick subject Category:Mathematical_logic.
- Rules_of_passage_(logic) subject Category:Mathematical_logic.
- Schröder–Bernstein_property subject Category:Mathematical_logic.
- Semicomputable_function subject Category:Mathematical_logic.
- Set_theory subject Category:Mathematical_logic.
- Special_case subject Category:Mathematical_logic.
- Stratification_(mathematics) subject Category:Mathematical_logic.
- Strength_(mathematical_logic) subject Category:Mathematical_logic.
- Structural_induction subject Category:Mathematical_logic.
- Structuralism_(philosophy_of_mathematics) subject Category:Mathematical_logic.
- Structure_(mathematical_logic) subject Category:Mathematical_logic.
- Subitizing subject Category:Mathematical_logic.
- Successor_function subject Category:Mathematical_logic.
- Superposition_calculus subject Category:Mathematical_logic.
- Surreal_number subject Category:Mathematical_logic.
- T-schema subject Category:Mathematical_logic.
- Tarski's_undefinability_theorem subject Category:Mathematical_logic.
- Tautology_(logic) subject Category:Mathematical_logic.
- Term_(logic) subject Category:Mathematical_logic.
- Term_algebra subject Category:Mathematical_logic.
- Timeline_of_mathematical_logic subject Category:Mathematical_logic.
- Truth_function subject Category:Mathematical_logic.
- Turing's_proof subject Category:Mathematical_logic.
- Turnstile_(symbol) subject Category:Mathematical_logic.
- Universe_(mathematics) subject Category:Mathematical_logic.
- Vacuous_truth subject Category:Mathematical_logic.
- Well-formed_formula subject Category:Mathematical_logic.
- Witness_(mathematics) subject Category:Mathematical_logic.
- Category:Algebraic_logic broader Category:Mathematical_logic.
- Category:Automated_theorem_proving broader Category:Mathematical_logic.
- Category:Boolean_algebra broader Category:Mathematical_logic.
- Category:Categorical_logic broader Category:Mathematical_logic.
- Category:Classical_logic broader Category:Mathematical_logic.
- Category:Computability_theory broader Category:Mathematical_logic.
- Category:Constructivism_(mathematics) broader Category:Mathematical_logic.
- Category:Forcing_(mathematics) broader Category:Mathematical_logic.
- Category:Formal_systems broader Category:Mathematical_logic.
- Category:Formal_theories_of_arithmetic broader Category:Mathematical_logic.
- Category:Independence_results broader Category:Mathematical_logic.
- Category:Large-scale_mathematical_formalization_projects broader Category:Mathematical_logic.
- Category:Logic_in_computer_science broader Category:Mathematical_logic.
- Category:Logical_calculi broader Category:Mathematical_logic.
- Category:Mathematical_axioms broader Category:Mathematical_logic.
- Category:Mathematical_induction broader Category:Mathematical_logic.
- Category:Mathematical_logic_hierarchies broader Category:Mathematical_logic.
- Category:Mathematical_logic_organizations broader Category:Mathematical_logic.
- Category:Mathematical_logicians broader Category:Mathematical_logic.
- Category:Modal_logic broader Category:Mathematical_logic.
- Category:Model_theory broader Category:Mathematical_logic.
- Category:Non-classical_logic broader Category:Mathematical_logic.
- Category:Proof_theory broader Category:Mathematical_logic.
- Category:Quantification broader Category:Mathematical_logic.
- Category:Recursion broader Category:Mathematical_logic.
- Category:Set_theory broader Category:Mathematical_logic.
- Category:Substitution_(logic) broader Category:Mathematical_logic.
- Category:Theorems_in_the_foundations_of_mathematics broader Category:Mathematical_logic.
- Category:Type_theory broader Category:Mathematical_logic.