Proof theory
See also what's at Wikipedia, your library, or elsewhere.
Broader term:Narrower terms:![[Info]](https://onlinebooks.library.upenn.edu/info.gif)
Mathematical Reasoning: Writing and Proof (version 2.0, 2014), by Theodore A. Sundstrom (PDF files with commentary at gvsu.edu)- Statistical Learning With Sparsity: The Lasso and Generalizations (corrected online edition, 2016), by Trevor Hastie, Robert Tibshirani, and Martin Wainwright (PDF with commentary at Stanford)
- Book of Proof (third edition; c2018), by Richard H. Hammack (PDF files with commentary at vcu.edu)
- Concrete Semantics with Isabelle/HOL (2018), by Tobias Nipkow and Gerwin Klein (PDF with commentary at concrete-semantics.org)
- Implementing Mathematics with the Nuprl Proof Development System (1985), ed. by R. L. Constable (illustrated HTML at Cornell)
- Isabelle/HOL: A Proof Assistant for Higher-Order Logic (2018), by Tobias Nipkow, Lawrence C. Paulson, and Markus Wenzel (PDF in Germany)
- Logic for Computer Science: Foundations of Automatic Theorem Proving (revised edition, 2003, with errata for the original edition and other papers), by Jean H. Gallier (PDF and Postscript files here at Penn)
- Certified Programming with Dependent Types (latest electronic edition), by Adam Chlipala (PDF and HTML with commentary at chlipala.net)
- Implementing Mathematics with the Nuprl Proof Development System (1985), ed. by R. L. Constable (illustrated HTML at Cornell)
Items below (if any) are from related and broader terms.
Filed under: Logic, Symbolic and mathematical- Infinity and the Mind: The Science and Philosophy of the Infinite (online edition; c2019), by Rudy v. B. Rucker (illustrated HTML at rudyrucker.com)
- Introduction to Mathematical Logic (prepublication version, 2011), by Michał Walicki (PDF in Norway)
- Elements of Causal Inference: Foundations and Learning Algorithms (Cambridge, MA and London: MIT Press, c2017), by Jonas Peters, Dominik Janzing, and Bernhard Schölkopf (PDF with commentary at MIT Press)
- A Theory of Formal Deducibility (Notre Dame Mathematical Lectures #6, second edition; 1957), by Haskell B. Curry (page images at HathiTrust)
- Introduction to Mathematical Logic (volume 1 only volume published; Princeton: Princeton University Press, 1956), by Alonzo Church (page images at HathiTrust)
- A Theory of Formal Deducibility (Notre Dame Mathematical Lectures #6; 1950), by Haskell B. Curry (PDF files at Project Euclid)
- Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers (Boston et al.: Addison-Wesley, c2003), by Leslie Lamport (PDF with commentary at awurewebsites.net)
- Probability and the Logic of Rational Belief (Middletown, CT: Wesleyan University Press, c1961), by Henry Ely Kyburg (page images at HathiTrust)
- The Algebra of Logic, by Louis Couturat, trans. by Lydia Gillingham Robinson, contrib. by Philip E. B. Jourdain
- Forall X: An Introduction to Formal Logic, by P. D. Magnus (PDF with commentary at fecundity.com)
- Forall X Calgary: An Introduction to Formal Logic, by P. D. Magnus, Tim Button, J. Robert Loftis, Robert Trueman, Aaron Thomas-Bolduc, and Richard Zach (multiple formats with commentary at openlogicproject.org)
- Formal Logic: or, The Calculus of Inference, Necessary and Probable (London: Taylor and Walton, 1847), by Augustus De Morgan (multiple formats at archive.org)
- The Game of Logic, by Lewis Carroll
- The Game of Logic (London and New York: Macmillan, 1887), by Lewis Carroll
- The Mathematical Analysis of Logic: Being an Essay towards a Calculus of Deductive Reasoning (reprint of 1847 edition), by George Boole (multiple formats at archive.org)
- Studies in Logic, by Members of the Johns Hopkins University (Boston: Little, Brown, and Co., 1883), ed. by Charles S. Peirce, contrib. by Allan Marquand, Christine Ladd-Franklin, O. H. Mitchell, and Benjamin Ives Gilman (multiple formats at archive.org)
- Symbolic Logic (fourth edition; London and New York: Macmillan, 1897), by Lewis Carroll (Gutenberg text and illustrated HTML)
- Symbolic Logic (London: Macmillan and Co., 1881), by John Venn (multiple formats at archive.org)
- Tractatus Logico-Philosophicus (in English and German), by Ludwig Wittgenstein, trans. by C. K. Ogden, contrib. by Bertrand Russell (Gutenberg multiple formats and LibriVox audio)
- Tractatus Logico-Philosophicus (from the International Library of Psychology, Philosophy and Scientific Method series; in English and German side by side; New York: Harcourt, Brace and Co.; London: K. Paul, Trench, Trubner and Co., 1922), by Ludwig Wittgenstein, trans. by C. K. Ogden, contrib. by Bertrand Russell
- A Primer of Formal Logic (New York: Macmillan, 1949), by John C. Cooley (page images at HathiTrust)
- Fuzzy Cognitive Maps and Neutrosophic Cognitive Maps, by W. B. Vasantha Kandasamy and Florentin Smarandache (PDF at UNM)
- Logic for Computer Science: Foundations of Automatic Theorem Proving (revised edition, 2003, with errata for the original edition and other papers), by Jean H. Gallier (PDF and Postscript files here at Penn)
- Principia Mathematica (Cambridge: Cambridge University Press, 1910-1913), by Alfred North Whitehead and Bertrand Russell
- The Logic of Chance: An Essay on the Foundations and Province of the Theory of Probability, With Especial Reference to its Logical Bearings and its Application to Moral and Social Science (second edition; London: Macmillan and Co., 1876), by John Venn (page images in Germany)
- New Perspectives on Games and Interaction (Amsterdam: Amsterdam University Press, c2008), ed. by Krzysztof R. Apt and Robert Van Rooij (PDF with commentary at OAPEN)
- Illuminati Sacre Pagine Professoris Amplissimi Magistri Raymundi Lull, Ars Magna, Generalis Et Ultima: Quarumcunque Artium et Scientiarum Ipsius Lull, Assecutrix Et Clauigera, et ad Eas Aditum Faciliore Prebens, Antehac Nusquam Arti Impressorie Emunctius Commendata (title from illuminated page about 12 leaves in; in Latin; Lyon: J. Marechal, 1517), by Ramon Llull, ed. by Bernardus de Lavinheta
- Journal of Logic and Analysis (and predecessor journal; 2007-) (full serial archives)
- Annals of Pure and Applied Logic (partial serial archives)
- Notre Dame Journal of Formal Logic (partial serial archives)
- Archiv für Mathematische Logik und Grundlagenforschung (partial serial archives)
- Annals of Mathematical Logic (full serial archives)
- A Problem Course in Mathematical Logic, by Stefan Bilaniuk (PDF and other formats at trentu.ca)
- Toposes, Triples, and Theories (version 1.1, reprinted in Theory and Applications of Categories, 2005), by Michael Barr and Charles Wells (PDF in Canada)
- Category Theory for the Sciences (Cambridge, MA, and London: MIT Press, c2014), by David I. Spivak (illustrated HTML with commentary at MIT Press)
- Category Theory for Computing Science (revised reprint from Theory and Applications of Categories, 2013), by Michael Barr and Charles Wells (PDF in Canada)
- Functors and Categories of Banach Spaces: Tensor Products, Operator Ideals, and Functors on Categories of Banach Spaces (c1978), by Peter W. Michor (PDF in Austria)
- Banach Modules and Functors on Categories of Banach Spaces (c1979), by Johann Cigler, Viktor Losert, and Peter W. Michor (PDF in Austria)
- Category Theory for Programmers (free online edition), by Bartosz Milewski, ed. by Igal Tabacnik (illustrated HTML and PDF with commentary at bartoszmilewski.com and Github)
- Isabelle/HOL: A Proof Assistant for Higher-Order Logic (2018), by Tobias Nipkow, Lawrence C. Paulson, and Markus Wenzel (PDF in Germany)
- Concrete Semantics with Isabelle/HOL (2018), by Tobias Nipkow and Gerwin Klein (PDF with commentary at concrete-semantics.org)
- Fuzzy Cognitive Maps and Neutrosophic Cognitive Maps, by W. B. Vasantha Kandasamy and Florentin Smarandache (PDF at UNM)
- Fuzzy Relational Maps and Neutrosophic Relational Maps, by W. B. Vasantha Kandasamy and Florentin Smarandache (PDF at UNM)
More items available under broader and related terms at left.