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 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)
 Fuzzy Cognitive Maps and Neutrosophic Cognitive Maps, by W. B. Vasantha Kandasamy and Florentin Smarandache (PDF at UNM)
 The Game of Logic, by Lewis Carroll
 Lectures on Linear Logic, by A. S. Troelstra (PDF at Stanford)
 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)
 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)
 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)
 Principia Mathematica (Cambridge: Cambridge University Press, 19101913), by Alfred North Whitehead and Bertrand Russell
 Symbolic Logic (fourth edition; London and New York: Macmillan, 1897), by Lewis Carroll (Gutenberg text and illustrated HTML)
 Tractatus LogicoPhilosophicus (in English and German), by Ludwig Wittgenstein, trans. by C. K. Ogden, contrib. by Bertrand Russell (Gutenberg PDF and TeX)
Filed under: Localization theory  Congresses
Filed under: Computer programming  CongressesFiled under: Control theory  CongressesFiled under: Formal languages  CongressesFiled under: Logic, Symbolic and mathematical  TextbooksFiled under: Axiomatic set theoryFiled under: Categories (Mathematics)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: 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)
 Discourse on the Method, by René Descartes, trans. by Elizabeth Sanderson Haldane (text at sugapablo.net)
 Discourse on the Method for Reasoning Well and for Seeking Truth in the Sciences, by René Descartes, trans. by Ian C. Johnston (PDF with commentary at Richer Resources Publications)
 Discourse on the Method of Rightly Conducting the Reason, by René Descartes, trans. by John Veitch (Gutenberg text)
 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)
 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)
 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)
 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)
 Science and the Human Prospect (electronic edition, 2004), by Ronald C. Pine (HTML at hawaii.edu)
 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)
 Young's Demonstrative Translation of Scientific Secrets, by Daniel Young (Gutenberg text)
Filed under: Semantics (Philosophy)Filed under: Type theory
More items available under narrower terms. 