See also:
| Call Number | Subject |
|---|---|
| QA 8 | Periodicals, societies, congresses, serial publications |
| QA 8.4 | General works, treatises & textbooks |
| QA 8.6 | Addresses, essays, lectures |
| QA 8.7 | Study & teaching. Research |
| QA 9-10.35 | Mathematical logic |
| - QA 9.A1 | - Periodicals, societies, congresses, serial publications |
| - QA 9.A5-Z | - General works, treatises & textbooks |
| - QA 9.2 | - Addresses, essays, lectures |
| - QA 9.25-9.37 | - Classical logical systems Including reverse mathematics |
| - - QA 9.3 | - - Propositional calculus |
| - QA 9.4-9.5 | - Nonclassical formal systems |
| - - QA 9.45 | - - Many-valued logic |
| - - QA 9.46 | - - Modal logic See also BC199.M6 Logic |
| - - QA 9.47 | - - Intuitionistic mathematics |
| - - QA 9.5 | - - Combinatory logic & lambda calculus |
| - QA 9.54 | - Proof systems |
| - QA 9.56-9.59 | - Constructive mathematics |
| - - QA 9.58 | - - Algorithms |
| - - QA 9.59 | - - Computable functions. Computability theory |
| - QA 9.6-6.83 | - Recursion theory See also QA267+ Machine theory |
| - - QA 9.615 | - - Recursive functions. Recursive arithmetic |
| - QA 9.64 | - Fuzzy logic |
| - QA 9.65-9.67 | - Methodology of deductive systems |
| - - QA 9.65 | - - Decidability. Gödel's theorem. Gödel numbers |
| - - QA 9.67 | - - Completeness |
| - QA 9.7 | - Modal theory |
| - QA 10-10.35 | - Algebraic logic |
| - - QA 10.3 | - - Boolean algebra See also QA268.5 Switching theory |
| QA 10.4 | Information theory in mathematics |
For computer-assisted instruction in mathematics see QA20.C65
For use of electronic computers in mathematics see QA76.95
See also QA135+ Elementary mathematics
| Call Number | Subject |
|---|---|
| QA 11 | Periodicals, societies, congresses, serial publications |
| QA 11.A2-QA 11.2 | General works, treatises & textbooks |
| - QA 11.A2-Z | - To 2000 |
| - QA 11.2 | - 2001- |
| QA 12 | Addresses, essays, lectures |
| QA 13-14 | By region or country |
| - QA 13-13.5 | - United States |
| - QA 14.A-Z | - Other regions or countries, A-Z |
| QA 16-20 | Special teaching methods & aids |
| - QA 18-19 | - Audiovisual aids |
| - - QA 18 | - - General works, treatises & textbooks |
| - - QA 19.A-Z | - - Special types, A-Z |
| - - - QA 19.C8 | - - - Cuisenaire rods |
| - QA 20.A-Z | - Other methods, A-Z |
| - - QA 20.C34 | - - Calculators |
| - - QA 20.C65 | - - Computer-assisted instruction Including computer-based experiments |
| - - QA 20.G35 | - - Games |
| - - QA 20.I53 | - - Individualized instruction |
| Call Number | Subject |
|---|---|
| QA 20.3 | Awards, prizes, etc. Competitions |
| Call Number | Subject |
|---|---|
| QA 21 | General |
| QA 22 | Ancient |
| QA 23 | Medieval |
| QA 24-26 | Modern |
| - QA 24 | - 16th-18th centuries |
| - QA 26 | - 19th-20th centuries |
| QA 27.A-Z | By region or country, A-Z |
| - QA 27.A67 | - Arab countries |
| - QA 27.C5 | - China |
| - QA 27.G7 | - Great Britain |
| - QA 27.I4 | - India |
| QA 27.5 | Women in mathematics. Women mathematicians |
| Call Number | Subject |
|---|---|
| QA 43 | Problems, exercises, examinations |
| Call Number | Subject |
|---|---|
| QA 63 | Problem solving |