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- 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)
- Introduction to Mathematical Logic (volume 1 only volume published; Princeton: Princeton University Press, 1956), by Alonzo Church (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)
- 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 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)
- 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 -- Periodicals
Filed under: Logic, Symbolic and mathematical -- Textbooks
Filed under: Axiomatic set theory
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)
Filed under: Computer logic
Filed under: Fuzzy logic
Filed under: Machine theory
Filed under: Model theory- 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)
- Model Theory, Algebra, and Geometry (2000), ed. by Deirdre Haskell, Anand Pillay, and Charles Steinhorn (PDF files with commentary at msri.org)
- Partiality, Truth, and Persistence, by Tore Langholm (PDF at Stanford)
Filed under: PragmaticsFiled under: Propositional calculusFiled under: Science -- Methodology- Leading Your Research Team in Science (Cambridge, UK: Cambridge University Press, 2019), by Ritsert C. Jansen (HTML and PDF with commentary at Cambridge University Press)
- The Experimental Side of Modeling (Minneapolis and London: University of Minnesota Press, c2018), ed. by Isabelle F. Peschard and Bas C. Van Fraassen (HTML with commentary at umn.edu)
- Disciplining Interdisciplinarity: Integration and Implementation Sciences for Researching Complex Real-World Problems (c2013), by Gabriele Bammer (multiple formats with commentary at ANU E Press)
- Inference, Explanation, and Other Frustrations: Essays in the Philosophy of Science (Berkeley: University of California Press, 1992), ed. by John Earman (HTML at UC Press)
- Faces of Science (Philadelphia: ISI Press, c1981), by V. V. Nalimov, ed. by Robert Garland Colodny, illust. by Mikhail Zlatkovsky (linked PDF files here at Penn)
- Science and the Human Prospect (electronic edition, 2004), by Ronald C. Pine (HTML at hawaii.edu)
- Science and Method (London et al.: T. Nelson and Sons, ca. 1914), by Henri Poincaré, trans. by Francis Maitland, contrib. by Bertrand Russell (multiple formats at archive.org)
- Young's Demonstrative Translation of Scientific Secrets, by Daniel Young (Gutenberg text)
- Discourse on the Method, by René Descartes, trans. by Elizabeth Sanderson Haldane (HTML at sdsu.edu)
- Discourse on the Method for Reasoning Well and for Seeking Truth in the Sciences, by René Descartes, trans. by Ian Johnston (Javascript-dependent Flash with commentary at Richer Resources Publications)
- Discourse on the Method of Rightly Conducting the Reason, by René Descartes, trans. by John Veitch (Gutenberg text)
- A System of Logic, Ratiocinative and Inductive (seventh edition; London: Longmans, Green, Reader, and Dyer, 1868), by John Stuart Mill
- A System of Logic, Ratiocinative and Inductive (eighth edition; London: Longmans, Green, Reader, and Dyer, 1872), by John Stuart Mill
- A System of Logic, Ratiocinative and Inductive (eighth edition; New York: Harper and Brothers, 1882), by John Stuart Mill (Gutenberg multiple formats)
- 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)
More items available under broader and related terms at left. |