Predicate calculusSee also what's at your library, or elsewhere.
Broader term:Narrower terms:Used for:- Calculus, Predicate
- Quantification theory
|
Filed under: Predicate calculus Complete problems in the first-order predicate calculus (Dept. of Computer Science, University of Illinois at Urbana-Champaign, 1979), by David A. Plaisted (page images at HathiTrust) Math 125 B : math notes (Dept. of Mathematics, University of California, 1963), by Leon Henkin and Berkeley. Department of Mathematics University of California (page images at HathiTrust) Trial and error predicates and the solution to a problem of Mostowski's (Washington, D.C. : Mathematical Sciences Directorate, Air Force Office of Scientific Research, 1961., 1961), by Hilary Putnam, United States. Air Force. Office of Scientific Research, and New York University. Institute of Mathematical Sciences (page images at HathiTrust)
Filed under: Predicate calculus -- Predicate calculusFiled under: VL21 system
Items below (if any) are from related and broader terms.
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.: Addison-Wesley, 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 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 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, 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) From an ivory tower, a discussion of philosophical problems originating in modern mathematics. (Bruce Pub. Co., 1960), by Bernard A. Hausmann (page images at HathiTrust) Sets, logic, and mathematical foundations. [Lectures given at] a Summer Institute for teachers of secondary and college mathematics (Roger Washburne College Book Store, 1956), by Stephen Cole Kleene (page images at HathiTrust) Opuscules et fragments inédits de Leibniz, extraits des manuscrits de la Bibliothèque royale de Hanovre (F. Alcan, 1903), by Gottfried Wilhelm Leibniz, Louis Couturat, Germany) Vormals Königliche und Provinzialbibliothek (Hannover, and Niedersächsische Landesbibliothek (page images at HathiTrust; US access only) The theory of constructive types : (principles of logic and mathematics) (University press, 1925), by Leon Chwistek (page images at HathiTrust) Mits, wits, and logic (Galois Institute Press, 1954), by Lillian R. Lieber (page images at HathiTrust) Mits, wits, and logic (W. W. Norton, 1947), by Lillian R. Lieber and Hugh Gray Lieber (page images at HathiTrust) Mathematics and plausible reasoning. (Princeton University Press, 1954), by George Pólya (page images at HathiTrust) La logique déductive dans sa dernière phase de développement (Gauthier-Villars, 1912), by Alessandro Padoa (page images at HathiTrust; US access only) The notion of number and the notion of class (Philadelphia, 1917), by Richard A. Arms (page images at HathiTrust) An introduction to the elements of mathematics. (Wiley, 1961), by John N. Fujii (page images at HathiTrust) Principia mathematica (University Press, 1910), by Alfred North Whitehead and Bertrand Russell (page images at HathiTrust; US access only) Digital devices (Van Nostrand, 1958), by James T. Culbertson (page images at HathiTrust) Les fondements des mathématiques. De la géometrie d'Euclide à la rélativité général et à l'intuitionisme (A. Blanchard, 1926), by Ferdinand Gonseth (page images at HathiTrust) Mathematical recreations of Lewis Carroll [pseud.] (Dover Publications, 1958), by Lewis Carroll (page images at HathiTrust) A decision method for elementary algebra and geometry (Rand Corporation, 1948), by Alfred Tarski (page images at HathiTrust) A survey of the theory of the boundedness, stability, and asymptotic behavior of solutions of linear and non-linear differential and difference equations (Washington, D.C. : Office of Naval Research, Department of the Navy, 1949., 1949), by Richard Bellman and United States. Office of Naval Research (page images at HathiTrust) Denken und Darstellung in Mathematik und Naturwissenschaften (F. Vieweg & Sohn, 1928), by E. Study (page images at HathiTrust) L'algèbre de la logique (s.n.], 1905), by Louis Couturat (page images at HathiTrust) Elements of set theory [by] (Allyn and Bacon, 1962), by Peter W. Zehna and Robert L. Johnson (page images at HathiTrust) Neue Grundlagen der Logik, Arithmetik und Mengenlehre (Veit, 1914), by Julius König (page images at HathiTrust) Principles of the algebra of logic, with examples (D. Douglas, 1879), by Alexander Macfarlane (page images at HathiTrust) Retracing elementary mathematics (Macmillan, 1962), by Leon Henkin (page images at HathiTrust) Symbolic logic, Bolean algebra and the design of digital systems. ([Framingham, Mass.], 1959), by inc Computer Control Co. (page images at HathiTrust) Principia mathematica (The University press, 1925), by Alfred North Whitehead and Bertrand Russell (page images at HathiTrust; US access only) The mathematical psychology of Gratry and Boole, translated from the language of the higher calculus into that of elementary geometry. (S. Sonnenschein, 1897), by Mary Everest Boole (page images at HathiTrust) Introduction to logic and sets. (Ginn, 1958), by Robert R. Christian (page images at HathiTrust) Introductory probability and statistical inference; an experimental course. (New York, 1959), by College Entrance Examination Board. Commission on Mathematics (page images at HathiTrust) Natural deduction : the logical basis of axiom systems (Belmont, California : Wadsworth Publishing Company, Inc., [1962], 1962), by John Mueller Anderson and Henry W. Johnstone (page images at HathiTrust) Pure logic and other minor works (Macmillan, 1890), by William Stanley Jevons, Harriet A. Jevons, and Robert Adamson (page images at HathiTrust) The function and forms of thought : an elementary text in methodology and logic based upon symbolic principles. (H. Holt and company, 1927), by Albert Edwin Avey (page images at HathiTrust) Mathematik und Logik : mit 16 Figuren im Text (B.G. Teubner, 1927), by Heinrich Behmann (page images at HathiTrust; US access only) An investigation of the laws of thought, on which are founded the mathematical theories of logic and probabilities. (Dover Publications, 1951), by George Boole (page images at HathiTrust; US access only) The logic of discovery (The Open court publishing co., 1930), by R. D. Carmichael (page images at HathiTrust; US access only) Abriss der Logistik mit besonderer Berücksichtigung der Relationstheorie und ihrer Anwendungen (J. Springer, 1929), by Rudolf Carnap (page images at HathiTrust; US access only) The algebra of logic (The Open Court, 1914), by Louis Couturat (page images at HathiTrust) The paradoxes of Mr. Russell. (Press of the New era printing company, 1915), by Edwin R. Guthrie (page images at HathiTrust) An introduction to modern logic; an elementary textbook of symbolic logic. (Haprer, 1960), by William Harold Halberstadt (page images at HathiTrust) Communication: a logical model. (M.I.T. Press, 1963), by David Harrah (page images at HathiTrust) Grundzüge der theoretischen Logik (J. Springer, 1928), by David Hilbert and W. Ackermann (page images at HathiTrust; US access only) A survey of symbolic logic (University of California Press, 1918), by Clarence Irving Lewis and Gottfried Wilhelm Leibniz (page images at HathiTrust) The development of symbolic logic : a critical-historical study of the logical calculus (Williams and Norgate, 1906), by A. T. Shearman (page images at HathiTrust) Letters on logic to a young man without a master. (College Book Store, 1920), by Henry Bradford Smith (page images at HathiTrust) Non-Aristotelian logic (The College Book Store, 1919), by Henry Bradford Smith (page images at HathiTrust) A primer of logic (B. D. Smith & bros., 1917), by Henry Bradford Smith (page images at HathiTrust) The culmination of the science of logic, with synopses of all possible valid forms of categorical reasoning in syllogisms of both three and four terms. (H. C. Smith, 1888), by John C. Smith (page images at HathiTrust) Foundations of logic and mathematics. (A.J. Isaacs, 1955), by Ernest Bloomfield Zeisler (page images at HathiTrust) The logic of chance. An essay on the foundations and province of the theory of probability, with especial reference to its application to moral and social science (Macmillan, 1866), by John Venn (page images at HathiTrust) Le rationnel, études complémentaires à l'Essai sur la certitude logique. (F. Alcan, 1898), by Gaston Milhaud (page images at HathiTrust) Propositions modales, Théorie logique des. (Paris, Durand [etc.], 1861), by Antonin François Rondelet (page images at HathiTrust) Symbolism and truth; an introduction to the theory of knowledge. (Harvard University Press, 1925), by Ralph M. Eaton (page images at HathiTrust) Logic in elementary mathematics (McGraw-Hill, 1959), by Robert M. Exner and Myron Frederick Rosskopf (page images at HathiTrust) Vorlesungen über die algebra der logik (exakte logik) (B. G. Teubner, 1890), by Ernst Schröder, Karl Eugen Müller, Jakob Lüroth, and Deutsche Mathematiker-Vereinigung (page images at HathiTrust; US access only) The philosophical presuppositions of mathematical logic. (Longmans, Green and co., 1925), by Harold Robert Smart (page images at HathiTrust) Symbolic logic : part I, elementary (Macmillan, 1896), by Lewis Carroll (page images at HathiTrust) The Port Royal art of thinking. In four parts. I, Of reflections upon ideas, or upon the first operation of the mind, which is called apprehension, &c. II, Of considerations of men about proper judgments,&c. III, Of the nature and various kinds of reasoning, &c. IV, Of the most profitable method for demonstrating or illustrating any truth, &c. (Printed for the proprietors [Published by W. Simpkin & R. Marshall], 1818), by Antoine Arnauld and Pierre Nicole (page images at HathiTrust) Pure logic; or, The logic of quality apart from quantity; with remarks on Boole's system and on the relation of logic and mathematics. (E. Stanford, 1864), by William Stanley Jevons (page images at HathiTrust) The problems of logic (Princeton university press, 1941), by Andrew Paul Ushenko (page images at HathiTrust) Elements of logic and formal science (J. B. Lippincott company, 1940), by Charles West Churchman (page images at HathiTrust) The logic of names : an introduction to Boole's Laws of thought... (J. Walton, 1869), by I. P. Hughlings (page images at HathiTrust) Arithmetica realis, serenissimo et reverendissimo principi Leopoldo ab Etrvria cardinali Medices dicata a Petro Mengolo. (typis haeredis V. Benatij, 1675), by Pietro Mengoli (page images at HathiTrust) Problem: science function analysis; formula science analysis, science x analysis, science individual, general, universal analysis (Printed for the author, 1905), by George Ashton Black (page images at HathiTrust) An investigation of the laws of thought, on which are founded the mathematical theories of logic and probabilities. (Walton and Maberly, 1854), by George Boole and Dublin University Press (page images at HathiTrust) The laws of thought (1854) (The Open Court Publishing Company, 1916), by George Boole (page images at HathiTrust) Logica matematica (Ulrico Hoepli, 1894), by Cesare Burali-Forti (page images at HathiTrust) Formal logic (1847) (The Open court company, 1926), by Augustus De Morgan and A. E. Taylor (page images at HathiTrust) Symbolic logic (Macmillan, 1881), by John Venn (page images at HathiTrust) 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, and to statistics (Macmillan, 1888), by John Venn (page images at HathiTrust) Essai sur les conditions et les limites de la certitude logique (F. Alcan, 1898), by Gaston Milhaud (page images at HathiTrust) Elementary logic (Ginn and Company, 1941), by W. V. Quine (page images at HathiTrust) A complete set of postulates for the logic of classes expressed in terms of the operation "exception," and a proof of the independence of a set of postulates due to Del Ré (University of California Press, 1914), by Benjamin Abram Bernstein and Alfonso del Re (page images at HathiTrust) Die grundlagen der mathematik, mit zusätzen (Verlag B.G. Teubner, 1928), by David Hilbert, Paul Bernays, and Hermann Weyl (page images at HathiTrust; US access only) Introduction to mathematical logic and its applications. (University of Miami Press, 1950), by Ira Rosenbaum (page images at HathiTrust) Classical sentential logic : based on logical equivalence (Archimedes Foundation, 1994), by Robert Katz (page images at HathiTrust) The development of symbolic logic; a critical-historical study of the logical calculus (W.C. Brown Reprint Library, 1964), by A. T. Shearman (page images at HathiTrust; US access only) The laws of thought (1854) (The Open Court Publishing Company, 1952), by George Boole (page images at HathiTrust; US access only) Formal logic ; or, The Calculus of inference, necessary and probable (Taylor and Walton, 1847), by Augustus De Morgan (page images at HathiTrust) Essai sur les conditions et les limites de la certitude logique (F. Alcan, 1912), by Gaston Milhaud (page images at HathiTrust) Symbolic logic and its applications (Longmans, Green, 1906), by Hugh MacColl (page images at HathiTrust) Per la storia della logica : i principii e l'ordine della scienza nel concetto dei pensatori matematici (Nicola Zanichelli, 1922), by Federigo Enriques (page images at HathiTrust; US access only) The nature of mathematics; a critical survey. (Humanities Press, 1950), by Max Black (page images at HathiTrust) Logica matematica (Ulrico Hoepli, 1894), by Cesare Burali-Forti (page images at HathiTrust) The categories of Charles Peirce (The Open Court Pub. Co., 1934), by Eugene Freeman (page images at HathiTrust) A primer of formal logic (The Macmillan Company, 1942), by John Cleveland Cooley (page images at HathiTrust) Logique scientifique, Essai de (J. Desoer [etc., etc.], 1865), by Joseph-Remi-Leopold Delbœuf (page images at HathiTrust) Les systèmes logiques et la logistique : étude sur l'enseignement et les enseignements des mathématiques modernes (M. Rivière, 1909), by Ch. Lucas de Pesloüan (page images at HathiTrust; US access only) Genealogia de los simbolos. (Principios de una ciencia deductiva) ... (Heinrich y compa., 1905), by Diego Ruiz (page images at HathiTrust) Das verhältnis der logik zur mengenlehre (Reuther & Reichard, 1917), by Theodor Ziehen (page images at HathiTrust) Studies in logic (Little, Brown, and Company, 1883), by Benjamin Ives Gilman, O. H. Mitchell, Allan Marquand, Charles S. Peirce, Christine Ladd-Franklin, and Johns Hopkins University (page images at HathiTrust) Der Operationskreis des Logikkalkuls (B. G. Teubner, 1877), by Ernst Schröder (page images at HathiTrust) The laws of thought (1845). (Open Court, 1952), by George Boole (page images at HathiTrust) Principia mathematica (University Press, 1963), by Alfred North Whitehead and Bertrand Russell (page images at HathiTrust; US access only) Grundriss einer allgemeinen Logik nach Kantischen Grundsätzen zum Gebrauch für Vorlesungen : Begleitet mit einer weitern Auseinandersetzung für diejenigen, die keine Vorlesungen darüber hören können (H. A. Köchly, 1824), by Johann Gottfried Carl Christian Kiesewetter (page images at HathiTrust) Einführung in die philosophischen Grundlagen der Mathematik (Moritz Diesterweg, 1929), by Walther Brand and Marie Deutschbein (page images at HathiTrust) Collected logical works. (Open Court Pub. Co., 1952), by George Boole (page images at HathiTrust) An investigation of the laws of thought (Dover Publications, 1951), by George Boole (page images at HathiTrust) On uniquely solvable Boolean equations (University of California Press, 1955), by William Lawrence Parker and Benjamin Abram Bernstein (page images at HathiTrust) [La] synthèse subjective [d'Auguste Comte;] ou, Système universel des conceptions propres à l'état normal de l'humanité. t.1. (Seul publié) Système de logique positive, ou, Traité de philosophie mathématique. (V. Dalmont, 1856), by Auguste Comte (page images at HathiTrust) Das Anwendungsproblem : Ein philosophischer Versuch über das Gesetz der grossen Zahlen und die Induktion. (Johann Ambrosius Barth, 1916), by Edgar Zilsel (page images at HathiTrust; US access only) Prinzipien der Mathematik (Gottingen, 1918), by David Hilbert (page images at HathiTrust) Introductory probability and statistical inference for secondary schools : an experimental course (College Entrance Examination Board, 1957), by College Entrance Examination Board. Commission on Mathematics (page images at HathiTrust) An investigation of the laws of thought, on which are founded the mathematical theories of logic and probabilities. (Walton and Maberly; [etc., etc.], 1854), by George Boole (page images at HathiTrust) Symbolic logic and intelligent machines. (Reinhold Pub. Corp., 1959), by Edmund Callis Berkeley (page images at HathiTrust) Structure of Laws as represented by symbolic methods. ([s.n.], 1961), by Ward Waddell (page images at HathiTrust) Mathematical logic with transfinite types (Privately printed, 1943), by Frank Gerald Bruner (page images at HathiTrust; US access only) Über mathematische logik ... (Wien, 1914), by Siegbert Wiesner (page images at HathiTrust) The culmination of the science of logic (H. C. Smith, 1888), by John Cauchois Smith (page images at HathiTrust) Problem: science=analysis. Formula: indeterminate; science=analysis; determinate (Printed for the author, 1914), by George Ashton Black (page images at HathiTrust) Problem; science-analysis; formula' indeterminate, science-analysis, determinate (Printed for the author, 1916), by George Ashton Black (page images at HathiTrust) Algebraic, geometric, and stochastic aspects of genetic operators (National Aeronautics and Space Administration ;, 1972), by N. Y. Foo, Jack Bosworth, Langley Research Center, and University of Michigan (page images at HathiTrust) Mathematical modeling by symbolic mathematical computation (National Aeronautics and Space Administration ;, 1971), by James C. Howard, Ames Research Center, and United States National Aeronautics and Space Administration (page images at HathiTrust; US access only) Description of a notation for the logic of relatives, resulting from an amplification of the conceptions of Boole's calculus of logic (Welch, Bigelow, 1870), by Charles S. Peirce (page images at HathiTrust) Om begrebet nøiagtighed med særligt hensyn paa Steens "Bidrag" : efterskrift til 'Philosophie og mathematik" (Gyldendallke Boghandling (F. Hegel), 1860), by Rasmus Nielsen (page images at HathiTrust) Logica Matematica (Ulrico Hoepli, 1894), by C. Burali-Forti (page images at HathiTrust) Uber die algebra der logik (Teubner, 1900), by Eugen Müller (page images at HathiTrust) Elementy logiki matematycznej (Nakładem komisji wydawniczej Koła matematyczno-fizycznego słuchaczów Uniwersytetu warszawskiego, 1929), by Jan Łukasiewicz (page images at HathiTrust; US access only) Tractatus logico-philosophicus (Routledge & Kegan Paul, 1922), by Ludwig Wittgenstein (page images at HathiTrust; US access only) Grundgesetze der Arithmetik. (H. Pohle, 1893), by Gottlob Frege (page images at HathiTrust; US access only) A set of five postulates for Boolean algebras in terms of the operation "exception" ... ([Berkeley, 1920), by James Sturdevant Taylor (page images at HathiTrust) Notational relativity. ([Harvard University?], 1921), by Henry Maurice Sheffer (page images at HathiTrust) Lezioni di algebra della logica : ad uso degli studenti delle facoltà di matematica e di filosofia e lettere, dettate nella R. Università di Napoli (Napoli /, 1907), by Alfonso del Re (page images at HathiTrust) Der Operationskreis des Logikkalkuls (B. G. Teubner, 1877), by Ernst Schröder (page images at HathiTrust) Essai sur les conditions et les limites de la certitude logique (F. Alcan, 1898), by Gaston Milhaud (page images at HathiTrust) Le rationnel études complémentaires à l'Essai sur la certitude logique (F. Alcan, 1898), by Gaston Milhaud (page images at HathiTrust) Über die mathematisirende logik (Columbia University Libraries, 1886), by Carl Prantl (page images at HathiTrust) The relation of the principles of logic to the foundations of geomety (American Mathematical Society, 1905), by Josiah Royce (page images at HathiTrust) Grundlagen der Raumwissenschaft. (C. Rümpler, 1875), by George Heinrich Funcke (page images at HathiTrust) Uber die algebra der logik .. (Teubner, 1900), by Eugen Müller (page images at HathiTrust) Problem; science-analysis; formula: indeterminate; science-analysis; determinate. (printed for the author, 1911), by George Ashton Black and Charles S. Peirce (page images at HathiTrust) Studien zur Theorie der Möglichkeit und Ähnlichkeit : allgemeine Theorie der Verwandtschaft gegenständlicher Bestimmungen (In Kommission bei A. Hölder, 1922), by Ernst Mally (page images at HathiTrust) Zur Grammatik und Logik (J.G. Cotta, 1902), by Fritz Mauthner (page images at HathiTrust) A comparative discussion of variable-valued logic and grammatical inference (Dept. of Computer Science, University of Illinois at Urbana-Champaign, 1974), by A. B. Baskin (page images at HathiTrust) The algebra of logic (The Open court publishing company, 1914), by Louis Couturat and Lydia Gillingham Robinson (page images at HathiTrust) Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens. (L. Nebert, 1879), by Gottlob Frege (page images at HathiTrust) Aus der Mathematik in die Logik : Beitrag zur Propädeutik der Philosophie (A. Deichert'sche Verlagsbuchhandlung, 1906), by Friedrich Mann (page images at HathiTrust) Symbolic logic. Part 1, Elementary. (Macmillan, 1897), by Lewis Carroll (page images at HathiTrust) Symbolic logic, method and development. (F. S. Crofts & co., 1927), by Henry Bradford Smith (page images at HathiTrust) An investigation of the laws of thought, on which are founded mathematical theories of logic and probabilities. (Dover, 1854), by George Boole (page images at HathiTrust) The logical design of an idealized general-purpose computer (Burroughs Corporation Research Center, 1954), by Arthur W. Burks, Irving M. Copi, University of Michigan. Engineering Research Institute, and Burroughs Corporation. Research Center (page images at HathiTrust) Elements of formal logic : an introductory textbook. (Produced and sold by Long's College Book Co., 1957), by Norman Kretzmann (page images at HathiTrust) The formalization of the foundations of geometry within the system of symbolic Logic. (Electronics Research Directorate, Air Force Cambridge Research Laboratories, Office of Aerospace Research, U. S. Air Force, 1961), by Michael D. Resnik (page images at HathiTrust) Ring-logics and p-rings. (University of California Press, 1951), by Alfred Leon Foster (page images at HathiTrust) A new approach to functional decomposition (L.G. Hanscom Field, Bedford, Massachusetts : Air Force Cambridge Research Laboratories, Air Force Systems Command, United States Air Force, 1970., 1970), by Albert W. Small and Air Force Cambridge Research Laboratories (U.S.) (page images at HathiTrust) Introduction to a general theory of elementary propositions ([Baltimore], 1921), by Emil Leon Post (page images at HathiTrust) The game of logic. (Macmillan, 1886), by Lewis Carroll (page images at HathiTrust) Formal logic (Open Court Co., 1926), by Augustus De Morgan and A. E. Taylor (page images at HathiTrust) Canonical analysis : some relations between canonical correlation, factor analysis, discriminant function analysis, and scaling theory. ([Princeton, N.J.] : Educational Testing Service, [1965?], 1065), by James John McKeon (page images at HathiTrust) Second-order logic, notes of the Seminar (Dept. of Mathematics, University of California, 1965), by J. W. Addison (page images at HathiTrust) Functional constructions in k-valued logic. (U.S. Joint Publications Research Service; distributed by Office of Technical Services, U.S. Dept. of Commerce, Washington, 1960), by S. V. Yablonsky (page images at HathiTrust) An outline of symbolic logic (Harvard Cooperative Society, 1939), by John Cleveland Cooley (page images at HathiTrust) Tractatus logico-philosophicus. (Kegan Paul, Trench, Trubner & Co., 1922), by Ludwig Wittgenstein and Bertrand Russell (page images at HathiTrust) Sah kuk. (Los Angeles : Reed Litho, 1956., 1956), by C. F. Russell and Julio Mario Santo Domingo Collection (page images at HathiTrust) Grammar of changes (Los Angeles : Times-Mirror Press, 1944., 1944), by C. F. Russell and Julio Mario Santo Domingo Collection (page images at HathiTrust) Mao sha. (Los Angeles : Reed Litho, 1955., 1955), by C. F. Russell and Julio Mario Santo Domingo Collection (page images at HathiTrust) Poh hoh. (Los Angeles : Reed Litho, 1956., 1956), by C. F. Russell and Julio Mario Santo Domingo Collection (page images at HathiTrust) Combinational arithmetic (Los Angeles : Times-Mirror Press, 1944., 1944), by C. F. Russell and Julio Mario Santo Domingo Collection (page images at HathiTrust) Observing how humans make mistakes to discover how to get computers to do likewise (System Development Corp., 1962), by L. E. Travis (page images at HathiTrust) The formal analysis of normative systems ([International Laboratory, Sociology Dept., Yale University], 1956), by Alan Ross Anderson (page images at HathiTrust) Die Logik (R. Grassmann, 1900), by Robert Grassmann (page images at HathiTrust) A machine program for theorem-proving (New York, New York : New York University, Institute of Mathematical Sciences, 1961., 1961), by Martin Davis, Donald W. Loveland, George Logemann, United States. Air Force. Office of Scientific Research, and New York University. Institute of Mathematical Sciences (page images at HathiTrust) Some algebraic aspects of logic (Washington D. C. : Office of Scientific Research, U.S. Air Force, 1956., 1956), by Marshall H. Stone and United States. Air Force. Office of Scientific Research (page images at HathiTrust) A new proof of theorems of perron and frobenius on non-negative matrices. II ([Washington, D.C.} : Mathematics Division, Office of Scientific Research, 1961., 1961), by Alfred T. Brauer, University of North Carolina (1793-1962). Office of Scientific Research. Mathematics Division, and United States. Air Force. Office of Scientific Research (page images at HathiTrust) A symbolic notation applied to unbalanced ladder networks (L.G. Hansom Field, Bedford, Massachusetts : Air Force Cambridge Research Laboratories, Office of Aerospace Research, United States Air Force, 1965., 1965), by Kurt H. Haase and Air Force Cambridge Research Laboratories (U.S.) (page images at HathiTrust) On the theory of Boolean formulas : shortest and prime formulas (L.G. Hansom Field, Bedford, Massachusetts : Air Force Cambridge Research Laboratories, Office of Aerospace Research, United States Air Force, 1966., 1966), by E. W. Samson, L. Calabi, and Air Force Cambridge Research Laboratories (U.S.) (page images at HathiTrust) The closed sets of n-variable Boolean functions (L. G. Hansom Field, Bedford, Massachusetts : Air Force Cambridge Research Laboratories, Office of Aerospace Research, United States Air Force, 1969., 1969), by Rocco H. Urbano and Air Force Cambridge Research Laboratories (U.S.) (page images at HathiTrust) The culmination of the science of logic. (H. C. Smith, 1888), by John Cauchois Smith (page images at HathiTrust) Über die gegenseitige Lage gleicher teile gewisser Zeichenreihen (Jacob Dybwad, 1912), by Axel Thue (page images at HathiTrust) Arithmetic reasoning items with formula responses (Lackland Air Force Base, Texas : Personnel Laboratory, Wright Air Development Division, Air Research and Development Command, United States Air Force : 1960., 1960), by Mary Agnes Gordon, United States. Air Force. Air Research and Development Command, United States. Wright Air Development Center, and Lackland Air Force Base (Tex.) (page images at HathiTrust) Symbolic logic. Part I. Elementary. (Republished [by] Berkeley Enterprises, 1955), by Charles Lutwidge Dodgson (page images at HathiTrust) An outline of formal logic (1939), by John Cleveland Cooley (page images at HathiTrust) Mathematik und logik, vier abhandlungen. (W. Engelmann, 1924), by Moritz Pasch (page images at HathiTrust) A summary of symbolic logic and its practical applications. (Berkeley, 1957), by Edmund Callis Berkeley (page images at HathiTrust) Collected logical works. (Open Court Pub. Co., 1916), by George Boole (page images at HathiTrust) Rules of reasoning (University of Illinois Committee on School Mathematics, 1963), by William T. Hale (page images at HathiTrust) An investigation of the laws of thought, on which are founded the mathematical theories of logic and probabilities. (Dover Publications, 1961), by George Boole (page images at HathiTrust) A study of generalized machine learning (Wright-Patterson Air Force Base, Ohio : Electronic Technology Laboratory, Aeronautical Systems Division, Air Force Systems Command, United States Air Force, 1962., 1962), by E. Bryan Carne, United States. Air Force. Systems Command. Aeronautical Systems Division, and Inc Melpar (page images at HathiTrust) Investigation of threshold switching techniques for digital computers (Wright-Patterson Air Force Base, Ohio : Electronic Technology Laboratory, Aeronautical Systems Division, Air Force Systems Command, United States Air Force, 1962., 1962), by Lockheed Missiles and Space Company, M. Tannenbaum, Richard I. Tanaka, E. A. Poe, R. D. Merrill, C. G. LeVezu, K. W. Henderson, M. A. Fischler, C. H. Alford, and United States. Air Force. Systems Command. Aeronautical Systems Division (page images at HathiTrust) Probleme der Deduktion (Turun Yliopiston Kustantama, 1928), by Eino Kaila (page images at HathiTrust) The calculus of logic, by George Boole (Gutenberg ebook) The Logic of Chance, 3rd edition: 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 and to Statistics, by John Venn (Gutenberg ebook) An Investigation of the Laws of Thought: On which are founded the mathematical theories of logic and probabilities, by George Boole (Gutenberg ebook)
More items available under broader and related terms at left. |