Model theory
See also what's at Wikipedia, your library, or elsewhere.
Broader term:Narrower term:![[Info]](https://onlinebooks.library.upenn.edu/info.gif)
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)
- Statistical Models and Analysis in Auditing, by National Research Council Panel on Nonstandard Mixtures of Distributions (page images with commentary at NAP)
Items below (if any) are from related and broader terms.
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)
- Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers (Boston et al.: Addison-Wesley, c2003), by Leslie Lamport (PDF with commentary at awurewebsites.net)
- 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 Thomas-Bolduc, 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 Ladd-Franklin, 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 Logico-Philosophicus (in English and German), by Ludwig Wittgenstein, trans. by C. K. Ogden, contrib. by Bertrand Russell (Gutenberg multiple formats and LibriVox audio)
- Tractatus Logico-Philosophicus (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
- 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, 1910-1913), 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)
- 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
- Journal of Logic and Analysis (and predecessor journal; 2007-) (full serial archives)
- Annals of Pure and Applied Logic (partial serial archives)
- Archiv für Mathematische Logik und Grundlagenforschung (partial serial archives)
- Annals of Mathematical Logic (full serial archives)
- A Problem Course in Mathematical Logic, by Stefan Bilaniuk (PDF and other formats at trentu.ca)
- 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)
- Isabelle/HOL: A Proof Assistant for Higher-Order Logic (2018), by Tobias Nipkow, Lawrence C. Paulson, and Markus Wenzel (PDF in Germany)
- Concrete Semantics with Isabelle/HOL (2018), by Tobias Nipkow and Gerwin Klein (PDF with commentary at concrete-semantics.org)
- 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)
- Cyberpragmatics: Internet-Mediated Communication in Context (Amsterdam and Philadelphia: John Benjamins Pub. Co., c2011), by Francisco Yus (PDF at John Benjamins e-Platform)
- Text and Context: Explorations in the Semantics and Pragmatics of Discourse (London and New York: Longman, c1977), by Teun A. van Dijk (PDF at discourses.org)
- Mathematical Reasoning: Writing and Proof (version 2.0, 2014), by Theodore A. Sundstrom (PDF files with commentary at gvsu.edu)
- Statistical Learning With Sparsity: The Lasso and Generalizations (corrected online edition, 2016), by Trevor Hastie, Robert Tibshirani, and Martin Wainwright (PDF with commentary at Stanford)
- An Introduction to Proofs and the Mathematical Vernacular (2015), by Martin V. Day (PDF with commentary at vt.edu)
- 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 Real-World 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 Johnston (Javascript-dependent 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)
- 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)
- Problems of Life and Mind, First Series: The Foundations of a Creed (2 volumes; Boston: J.R. Osgood and Co., 1874-1875), 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 broader and related terms at left.