| Call number | Item |
| Q | Science (Go to start of category) |
| QA | Mathematics and Computer Science (Go to start of category) |
| QA5 .W45 | ![[Info]](https://onlinebooks.library.upenn.edu/info.gif) MathWorld, ed. by Eric W. Weisstein (HTML at wolfram.com) |
| QA7 .H3 | A Mathematician's Apology (1940), by G. H. Hardy (PDF in Canada; NO US ACCESS) |
| QA7 .K42 | Mathematics as a Culture Clue, and Other Essays (Collected Works v1; New York: Scripta Mathematica, Yeshiva Univ., 1947), by Cassius Jackson Keyser (page images at HathiTrust) |
| QA7 .K64 1894a | The Evanston Colloquium, by Felix Klein (page images at Cornell) |
| QA7 .L28 1898a | Lectures on Elementary Mathematics, by J. L. Lagrange (page images at Cornell) |
| QA7 .S4 | Mathematical Essays and Recreations, by Hermann Schubert, trans. by Thomas J. McCormack (page images at Cornell) |
| QA7 .W53 | An Introduction to Mathematics, by Alfred North Whitehead (Gutenberg LaTeX and PDF) |
| QA7 .Y73 1841a | Mathematical Dissertations, For the Use of Students in the Modern Analysis, by J. R. Young (page images at Cornell) |
| QA7 .Y74 1911a | Lectures on Fundamental Concepts of Algebra and Geometry (1911), by John Wesley Young (page images at Cornell) |
| QA8 .A7 | Journal of the Association of Christians in the Mathematical Sciences (2004-2015) (full serial archives) |
| QA8.4 .R83 2016 | The Lifebox, the Seashell, and the Soul: What Gnarly Computation Taught Me About Ultimate Reality, the Meaning of Life, and How to be Happy (free online edition; c2016), by Rudy v. B. Rucker (illustrated HTML at rudyrucker.com) |
| QA9 | A Problem Course in Mathematical Logic, by Stefan Bilaniuk (PDF and other formats at trentu.ca) |
| QA9 .A1 | Archiv für Mathematische Logik und Grundlagenforschung (partial serial archives) |
| QA9 .B845 1947 | Elementary Arithmetic: Its Meaning and Practice (Boston et al.: Ginn and Co., c1947), by B. R. Buckingham (page images at HathiTrust) |
| QA9 .C88 1950 | A Theory of Formal Deducibility (Notre Dame Mathematical Lectures #6; 1950), by Haskell B. Curry (PDF files at Project Euclid) |
| QA9 .C88 1957 | A Theory of Formal Deducibility (Notre Dame Mathematical Lectures #6, second edition; 1957), by Haskell B. Curry (page images at HathiTrust) |
| QA9 .R79 2019 | Infinity and the Mind: The Science and Philosophy of the Infinite (online edition; c2019), by Rudy v. B. Rucker (illustrated HTML at rudyrucker.com) |
| QA9 .R8 1920 | Introduction to Mathematical Philosophy (second edition, 1920), by Bertrand Russell |
| QA9 .R88 1903 | The Principles of Mathematics (only volume published under this title; projected second volume became Principia Mathematica; Cambridge: At the University Press, 1903), by Bertrand Russell |
| QA9 .W334 2011 | Introduction to Mathematical Logic (prepublication version, 2011), by Michał Walicki (PDF in Norway) |
| QA9 .W52 | Principia Mathematica (Cambridge: Cambridge University Press, 1910-1913), by Alfred North Whitehead and Bertrand Russell |
| QA9.46 .G65 1992 | Logics of Time and Computation (second edition, 1992), by Robert Goldblatt (PDF at Stanford) |
| QA9.54 .H366 2018 | Book of Proof (third edition; c2018), by Richard H. Hammack (PDF files with commentary at vcu.edu) |
| QA9.54 .S86 2014 | Mathematical Reasoning: Writing and Proof (version 2.0, 2014), by Theodore A. Sundstrom (PDF files with commentary at gvsu.edu) |
| QA9.58 .B76 2011 | Clever Algorithms: Nature-Inspired Programming Recipes (c2011), by Jason Brownlee |