| Call number | Item |
| Q | Science (Go to start of category) |
| QA | Mathematics and Computer Science (Go to start of category) |
| QA8 .A7 | ![[Info]](https://onlinebooks.library.upenn.edu/info.gif) 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 |
| QA9.58 .K65425 2019 | Algorithms for Optimization (Cambridge, MA and London: MIT Press, c2019), by Mykel J. Kochenderfer and Tim A. Wheeler (PDF with commentary at algorithmsbook.com) |
| QA9.64 .K36 2003 | Fuzzy Cognitive Maps and Neutrosophic Cognitive Maps, by W. B. Vasantha Kandasamy and Florentin Smarandache (PDF at UNM) |
| QA9.7 .B3413 2007 | The Concept of Model: An Introduction to the Materialist Epistemology of Mathematics (translation published 2007), by Alain Badiou, trans. by Zachary Luke Fraser and Tzuchien Tho (PDF with commentary at re-press.org) |
| QA9.7 .M595 2000 | Model Theory, Algebra, and Geometry (2000), ed. by Deirdre Haskell, Anand Pillay, and Charles Steinhorn (PDF files with commentary at msri.org) |
| QA10 .C87 1914a | The Algebra of Logic, by Louis Couturat, trans. by Lydia Gillingham Robinson, contrib. by Philip E. B. Jourdain |
| QA10.3 .W44 | The Complexity of Boolean Functions (electronic edition), by Ingo Wegener (PDF with commentary at Trier) |
| QA10.4 .R83 | Mind Tools: The Five Levels of Mathematical Reality (free online edition; c1987), by Rudy v. B. Rucker (illustrated HTML at rudyrucker.com) |
| QA11 .A1 C68 1999 | Contemporary Issues in Mathematics Education (1999), ed. by Estela A. Gavosto, Steven G. Krantz, and William Gordon McCallum (PDF files with commentary at msri.org) |
| QA11 .A1 P76 | Proceedings of the Indian Academy of Sciences: Mathematical Sciences (partial serial archives) |