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)
 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
 Lectures on Linear Logic, by A. S. Troelstra (PDF at Stanford)
 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)
 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  TextbooksFiled under: Axiomatic set theoryFiled 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 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: Fuzzy logicFiled under: Machine theoryFiled 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 repress.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: Proof theoryFiled under: Propositional calculusFiled under: Science  Methodology 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)
 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 C. Johnston (Javascriptdependent 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)
Filed under: Semantics (Philosophy)Filed under: Type theory
More items available under narrower terms. 