Logic, Symbolic and mathematical

See also what's at your library, or elsewhere.

• Mathematics
• Logic

• Algebra, Abstract
• Syllogism
• Set theory

• Logic, Symbolic and mathematical -- Congresses
• Logic, Symbolic and mathematical -- Periodicals
• Logic, Symbolic and mathematical -- Textbooks
• Algebraic logic
• Axiomatic set theory
• Categories (Mathematics)
• Fuzzy logic
• Logic machines
• Machine theory
• Model theory
• Nonclassical mathematical logic
• Pragmatics
• Proof theory
• Recursion theory
• Recursive functions
• Science -- Methodology
• Semantics (Philosophy)

• Algebra of logic
• Logic, Universal
• Mathematical logic
• Symbolic and mathematical logic
• Symbolic logic

• The Algebra of Logic, by Louis Couturat, trans. by Lydia Gillingham Robinson, contrib. by Philip E. B. Jourdain
  • frame- and JavaScript-dependent page images at Cornell
  • Gutenberg PDF and LaTeX
• 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
  • Gutenberg text
  • page images at durendal.org
• 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, 1910-1913), by Alfred North Whitehead and Bertrand Russell
  • Volume I: page images at Michigan
  • Volume II: page images at Michigan
  • Volume III: page images at Michigan
• Symbolic Logic (fourth edition; London and New York: Macmillan, 1897), by Lewis Carroll (Gutenberg text and illustrated HTML)
• Tractatus Logico-Philosophicus (in English and German), by Ludwig Wittgenstein, trans. by C. K. Ogden, contrib. by Bertrand Russell (Gutenberg PDF and TeX)

• Noncommutative Localization in Algebra and Topology (electronic edition, ca. 2006), ed. by Andrew Ranicki (PDF in the UK)

• Software Engineering: Report of a Conference Sponsored by the NATO Science Committee, Garmisch, Germany, 7th to 11th October 1968 (originally published 1969), ed. by Peter Naur and Brian Randell (PDF in the UK)
• Software Engineering Techniques: Report of a Conference Sponsored by the NATO Science Committee, Rome, Italy, 27th to 31st October 1969 (originally published 1970), ed. by J. N. Buxton and Brian Randell (PDF in the UK)

• Modal Logic and Process Algebra: A Bisimulation Perspective, ed. by A. Ponse, Maarten de Rijke, and Yde Venema (PDF at Stanford)

• Motion, Control, and Geometry: Proceedings of a Symposium, by National Research Council Commission on Physical Sciences, Mathematics, and Applications (page images at NAP)

• Modal Logic and Process Algebra: A Bisimulation Perspective, ed. by A. Ponse, Maarten de Rijke, and Yde Venema (PDF at Stanford)

• A Problem Course in Mathematical Logic, by Stefan Bilaniuk (PDF and other formats at trentu.ca)

• Non-Well-Founded Sets, by Peter Aczel (PDF at Stanford)

• Banach Modules and Functors on Categories of Banach Spaces (c1979), by Johann Cigler, Viktor Losert, and Peter W. Michor (PDF in Austria)
• 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)
• Toposes, Triples, and Theories (revised and corrected version), by Michael Barr and Charles Wells (zipped PDF at Case Western)

• Fuzzy Cognitive Maps and Neutrosophic Cognitive Maps, by W. B. Vasantha Kandasamy and Florentin Smarandache (PDF at UNM)
• Fuzzy Relational Maps and Neutrosophic Relational Maps, by W. B. Vasantha Kandasamy and Florentin Smarandache (PDF at UNM)

• Algorithmic Information Theory (based on the third printing, 1990), by Gregory J. Chaitin (PDF at Maine)
• Information-Theoretic Incompleteness, by Gregory J. Chaitin (Postscript at Maine)
• The Unknowable, by Gregory J. Chaitin (illustrated HTML at Maine)

• 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 re-press.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)

• Normalization, Cut-Elimination, and the Theory of Proofs, by A. M. Ungar (PDF at Stanford)

• Disciplining Interdisciplinarity: Integration and Implementation Sciences for Researching Complex Real-World 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
  • Volume I: Gutenberg text
  • Volume II: Gutenberg text
• A System of Logic, Ratiocinative and Inductive (eighth edition; London: Longmans, Green, Reader, and Dyer, 1872), by John Stuart Mill
  • Volume I: multiple formats at archive.org
  • Volume II: multiple formats at archive.org
• 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)

• Algebraic Semantics in Language and Philosophy, by Godehard Link (PDF at Stanford)
• Linguistic Individuals, by Almerindo E. Ojeda (PDF at Stanford)
• Logic and Representation, by Robert C. Moore (PDF at Stanford)
• Propositional Attitudes: The Role of Content in Logic, Language, and Mind, ed. by C. Anthony Anderson and Joseph Owens (PDF at Stanford)
• What is Meaning? Studies in the Development of Significance (London and New York: Macmillan and Co., 1903), by Victoria Welby
  • page images at HathiTrust; US access only
  • multiple formats at archive.org

More items available under narrower terms.