Narrower Terms (42)

• Admissible sets
• ▶ Algebraic logic
• ▶ Axiomatic set theory
• ▶ Categories (Mathematics)
• Combinatory logic
• ▶ Completeness theorem
• Computer logic
• Computer programs--Correctness
• ▶ Constructive mathematics
• Curry-Howard isomorphism
• Decidability (Mathematical logic)
• Definability theory (Mathematical logic)
• First-order logic
• ▶ Fuzzy logic
• Gödel numbers
• Gödel's theorem
• Hoare logic
• Independence (Mathematics)
• Infinitary languages
• Lambda calculus
• Linear orderings
• ▶ Logic machines
• ▶ Machine theory
• Matrix logic
• ▶ Model theory
• ▶ Nonclassical mathematical logic
• ▶ Pragmatics
• ▶ Predicate calculus
• ▶ Proof theory
• Propositional calculus
• Quasivarieties (Universal algebra)
• ▶ Recursion theory
• ▶ Recursive functions
• ▶ Reverse mathematics
• ▶ Science--Methodology
• ▶ Semantics (Philosophy)
• ▶ Switching theory
• Threshold logic
• Truth-functions
• Type theory
• VL1 system
• WFF 'N PROOF (Game)