Browse “Logic, Symbolic and mathematical” in an alphabetical list of subjects

Browse by subject help: Search within an alphabetical list of all Library of Congress Subject Headingsopen_in_new (LCSH) indexed in the Library catalog.

Subject Records
Logic--Study and technique 1 record
1 record
Logic, Symbolic and mathemataical 1 record
1 record
We found a matching subject in our catalog for: Logic, Symbolic and mathematical.
Logic, Symbolic and mathematical About this subjectopen_in_new 3095 records
Broader term (in subject list):
  1. Mathematics (8487 records)
Narrower terms (in subject list):
  1. Admissible sets (5 records)
  2. Algebraic logic (75 records)
  3. Axiomatic set theory (94 records)
  4. Categories (Mathematics) (455 records)
  5. Combinatory logic (24 records)
  6. Completeness theorem (18 records)
  7. Computer logic (1061 records)
  8. Computer programs--Correctness (12 records)
  9. Constructive mathematics (62 records)
  10. Curry-Howard isomorphism (4 records)
Show all 42 narrower terms Hide 32 narrower terms
  1. Decidability (Mathematical logic) (20 records)
  2. Definability theory (Mathematical logic) (11 records)
  3. First-order logic (35 records)
  4. Fuzzy logic (235 records)
  5. Gödel numbers (0 records)
  6. Gödel's theorem (67 records)
  7. Hoare logic (0 records)
  8. Independence (Mathematics) (13 records)
  9. Infinitary languages (13 records)
  10. Lambda calculus (30 records)
  11. Linear orderings (5 records)
  12. Logic machines (10 records)
  13. Machine theory (871 records)
  14. Matrix logic (8 records)
  15. Model theory (260 records)
  16. Nonclassical mathematical logic (27 records)
  17. Pragmatics (1016 records)
  18. Predicate calculus (35 records)
  19. Proof theory (190 records)
  20. Propositional calculus (16 records)
  21. Quasivarieties (Universal algebra) (6 records)
  22. Recursion theory (106 records)
  23. Recursive functions (152 records)
  24. Reverse mathematics (13 records)
  25. Science--Methodology (1308 records)
  26. Semantics (Philosophy) (945 records)
  27. Switching theory (198 records)
  28. Threshold logic (21 records)
  29. Truth-functions (3 records)
  30. Type theory (40 records)
  31. VL1 system (5 records)
  32. WFF 'N PROOF (Game) (0 records)
3095 records
Logic, Symbolic and mathematical--Authorship--History 1 record
1 record
Logic, Symbolic and mathematical--Bibliography 5 records
5 records
Logic, Symbolic and mathematical--Bibliography--History 1 record
1 record
Logic, Symbolic and mathematical--Charts, diagrams, etc 2 records
2 records
Logic, Symbolic and mathematical--Computer-assisted instruction 1 record
1 record
Logic, Symbolic and mathematical--Congresses About this subjectopen_in_new 323 records
323 records
Logic, Symbolic and mathematical--Data processing 3 records
3 records
Logic, Symbolic and mathematical--Data processing--Congresses 2 records
2 records
Logic, Symbolic and mathematical--Dictionaries 2 records
2 records
Logic, Symbolic and mathematical--Early works to 1800 3 records
3 records
Logic, Symbolic and mathematical--Encyclopedias 1 record
1 record
Logic, Symbolic and mathematical--Famous problems About this subjectopen_in_new 2 records
Narrower term (in subject list):
  1. Schubert's steamroller (0 records)
2 records
Logic, Symbolic and mathematical--Graphic method 1 record
1 record
Logic, Symbolic and mathematical--Graphic methods 3 records
3 records
Logic, Symbolic and mathematical--Great Britain--Early works to 1800 1 record
1 record
Logic, Symbolic and mathematical--History 19 records
19 records
Logic, Symbolic and mathematical--History--19th century 5 records
5 records

The University of Michigan Library aims to describe library materials in a way that respects the people and communities who create, use, and are represented in our collections. Report harmful or offensive language anonymously through our metadata feedback form. More information at Remediation of Harmful Language.
Give feedback about this pageopen_in_new