Logic, Symbolic and mathematical -- TextbooksSee also what's at your library, or elsewhere.
Broader terms:Narrower term: |
Filed under: Logic, Symbolic and mathematical -- Textbooks
Filed under: Proof theory -- Textbooks
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)
- 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)
- 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
- 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 -- 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: 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 logic
Filed under: Machine theory
Filed under: Model theory
Filed under: PragmaticsFiled under: Proof theoryFiled 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)
- Observation and Theory in Science (originally published 1971; open access edition Baltimore: Johns Hopkins University Press, 2019), by Ernest Nagel, Sylvain Bromberger, and Adolf Grünbaum, contrib. by Stephen Francis Barker and Maurice Mandelbaum (multiple formats with commentary at Project MUSE)
- 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 page images with commentary at Richer Resources Publications)
- Discourse on the Method of Rightly Conducting the Reason, by René Descartes, trans. by John Veitch (Gutenberg text)
- L'Expérience Physique chez Roger Bacon: Contribution a l'Étude de la Méthode et de la Science Expérimentales au XIIIe Siècle (Etudes de Philosophie Medievale #2, in French; Paris: J. Vrin, 1924), by Raoul Carton (page images at HathiTrust; US access only)
- Problems of Life and Mind, First Series: The Foundations of a Creed (2 volumes; Boston: J.R. Osgood and Co., 1874-1875), by George Henry Lewes
- 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)
- An Examination of Sir William Hamilton's Philosophy, and of the Principal Philosophical Questions Discussed in His Writings (second edition; London: Longmans, Green, and Co., 1865), by John Stuart Mill (multiple formats at archive.org)
- 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. |