Proof theorySee also what's at Wikipedia, your library, or elsewhere.
Broader term:Narrower terms: |
Filed under: Proof theory
Filed under: Proof theory -- TextbooksFiled under: Automatic theorem proving
Filed under: Automatic theorem proving -- Computer programsFiled under: Nuprl (Computer system)
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)
Filed under: Logic, Symbolic and mathematical -- Congresses
Filed under: Logic, Symbolic and mathematical -- Early works to 1800- 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
Filed under: Logic, Symbolic and mathematical -- Periodicals
Filed under: Logic, Symbolic and mathematical -- Textbooks
Filed under: Categories (Mathematics)- 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)
Filed under: Computer logic
Filed under: Fuzzy logicMore items available under broader and related terms at left. |