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 3722 records
Broader term (in subject list):
  1. Mathematics (9679 records)
Narrower terms (in subject list):
  1. Admissible sets (5 records)
  2. Algebraic logic (74 records)
  3. Axiomatic set theory (94 records)
  4. Categories (Mathematics) (469 records)
  5. Combinatory logic (23 records)
  6. Completeness theorem (18 records)
  7. Computer logic (959 records)
  8. Computer programs--Correctness (12 records)
  9. Constructive mathematics (60 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 (33 records)
  4. Fuzzy logic (205 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 (1206 records)
  14. Matrix logic (8 records)
  15. Model theory (253 records)
  16. Nonclassical mathematical logic (27 records)
  17. Pragmatics (1049 records)
  18. Predicate calculus (33 records)
  19. Proof theory (189 records)
  20. Propositional calculus (16 records)
  21. Quasivarieties (Universal algebra) (5 records)
  22. Recursion theory (100 records)
  23. Recursive functions (149 records)
  24. Reverse mathematics (12 records)
  25. Science--Methodology (1319 records)
  26. Semantics (Philosophy) (951 records)
  27. Switching theory (196 records)
  28. Threshold logic (22 records)
  29. Truth-functions (3 records)
  30. Type theory (38 records)
  31. VL1 system (5 records)
  32. WFF 'N PROOF (Game) (0 records)
3722 records
Logic, Symbolic and mathematical--Authorship--History 1 record
1 record
Logic, Symbolic and mathematical--Bibliography 4 records
4 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 308 records
308 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 18 records
18 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