URI(s)
- http://id.loc.gov/authorities/subjects/sh85078115
- http://id.loc.gov/authorities/sh85078115#concept
Variants
- Algebra of logic
- Logic, Universal
- Mathematical logic
- Symbolic and mathematical logic
- Symbolic logic
Broader Terms
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
Closely Matching Concepts from Other Schemes
Broader Concepts from Other Schemes
- Logic, Symbolic and mathematical--Computer programs
- Logic, Symbolic and mathematical--Computer-assisted instruction
- Logic, Symbolic and mathematical--Data processing
- Logic, Symbolic and mathematical--Study and teaching
- Logic, Symbolic and mathematical--Study and teaching (Elementary)
- Logic, Symbolic and mathematical--Study and teaching (Primary)
- Logic, Symbolic and mathematical--Study and teaching (Secondary)
Sources
- found: Copi, I. M. Symbolic logic, 1979.
- found: Web. 3
LC Classification
- BC131-BC135
- QA9-QA10.3
Instance Of
Scheme Membership(s)
Collection Membership(s)
Change Notes
- 1986-02-11: new
- 1999-10-05: revised
Alternate Formats