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 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.: AddisonWesley, 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 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)
 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
 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, 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  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 logic
Filed under: Machine theory
Filed under: Model theory
Filed under: Pragmatics
Filed under: Proof theory
More items available under narrower terms. 