Logic, Symbolic and mathematical

Use For: Algebra of logic, Logic, Universal, Mathematical logic, Symbolic and mathematical logic, Symbolic logic,

Broader Terms: Mathematics,

Narrower Terms: 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),

Related Terms: Algebra, Abstract, Metamathematics, Set theory, Syllogism,

Editorial Notes:

• Copi, I. M. Symbolic logic, 1979.
• Web. 3

LC Classification: BC131

Created: 1986-02-11

Last Modified: 1999-10-05T06:51:35

Concept URI: http://lcsh.info/sh85078115#concept

Alternate Formats: rdf, n3, json