Logic, Symbolic and mathematicalSee also what's at your library, or elsewhere.
Broader terms:Related terms:Narrower terms:Used for: Algebra of logic
 Logic, Universal
 Mathematical logic
 Symbolic and mathematical logic
 Symbolic logic

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)
 Tractatus LogicoPhilosophicus (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
 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 ThomasBolduc, 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 LaddFranklin, 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 LogicoPhilosophicus (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, 19101913), 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: 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 logic
Filed under: Machine theoryFiled under: Model theoryFiled 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 RealWorld 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)
 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)
 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 (Javascriptdependent 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)
 Problems of Life and Mind, First Series: The Foundations of a Creed (2 volumes; Boston: J.R. Osgood and Co., 18741875), 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 narrower terms. 