100% mathematical proof by Rowan Garnier, John Taylor - 1996 - 317 pages |

10th International Conference on Automated Deduction by Mark E. Stickel - 1990 - 688 pages |

18 Unconventional Essays on the Nature of Mathematics by Reuben Hersh - 2006 - 326 pages |

1921 - 1934 by Alfred Tarski - 1986 - 659 pages |

1945 - 1957 by Alfred Tarski - 1986 - 682 pages |

1958-1979 by Alfred Tarski, Steven R. Givant - 1986 - 757 pages |

1995 25th International Symposium on Multiple-Valued Logic - 1995 - 296 pages |

5th Conference on Automated Deduction - 1980 - 385 pages |

5th Conference on Automated Deduction - 1980 - 385 pages |

6 Papers in Logic by S. N. Artemov, B. I. Zilber - 1987 - 79 pages |

6th Conference on Automated Deduction, New York, USA, June 7-9, 1982 - 1982 - 389 pages |

7th International Conference on Automated Deduction by R. E. Shostak - 1984 - 508 pages |

9th International Conference on Automated Deduction - 1988 - 775 pages |

A Beginner's Guide to Finite Mathematics by W.D. Wallis - 2003 - 354 pages |

A bibliography of logic books by Michael Moss, Dana S. Scott - 1975 - 106 pages |

A bibliography of symbolic logic - 1938 |

A bibliography of symbolic logic by Alonzo Church - 1936 |

A bibliography of symbolic logic, 1666-1935 by Alonzo Church - 1984 - 156 pages |

A Bridge to Advanced Mathematics by Dennis Sentilles - 2011 - 387 pages |

A characterization of those subsets of metric separable space which are homomorphic with subsets of the linear continuum by Leon Warren Cohen - 1929 - 303 pages |

A computational logic handbook by Robert S. Boyer, J Strother Moore - 1988 - 408 pages |

A computational logic handbook by Robert S. Boyer, J Strother Moore - 1988 - 408 pages |

A Concise Introduction to Languages and Machines by Alan Parkes - 2008 - 346 pages |

A Concise Introduction to Languages and Machines by Alan Parkes - 2008 - 346 pages |

A Concise Introduction to Mathematical Logic by Wolfgang Rautenberg - 2006 - 256 pages |

A Concise Introduction to Mathematical Logic by Wolfgang Rautenberg - 2006 - 256 pages |

A Course in Mathematical Logic by I͡U. I. Manin - 1977 - 286 pages |

A Course in Mathematical Logic for Mathematicians by IU I. Manin, Yu. I. Manin, Boris Zilber - 2010 - 384 pages |

A Course in Mathematical Modeling by Douglas D. Mooney, Randall James Swift - 1999 - 431 pages |

A Course in Model Theory by Katrin Tent, Martin Ziegler - 2012 - 248 pages |

A Course in Model Theory by Bruno Poizat - 2000 - 443 pages |

A Course on Borel Sets by S.M. Srivastava - 1998 - 261 pages |

A first course in formal language theory by V. J. Rayward-Smith - 1983 - 123 pages |

A forcing approach to strict-[pi]11 reflection with applications in infinitary logic by William Richard Stark - 1975 - 126 pages |

A general schema for natural systems (nature considered as a function of types of selectivity and of modes of selection.) by Irwin Biser - 1938 - 155 pages |

A Guide to Classical and Modern Model Theory by Annalisa Marcja, Carlo Toffalori - 2003 - 369 pages |

A Guide to Classical and Modern Model Theory by Annalisa Marcja, Carlo Toffalori - 2003 - 369 pages |

A guide to programming logic and design by Joyce Farrell - 1999 - 272 pages |

A history of set theory by Phillip E. Johnson - 1972 - 109 pages |

A Introduction to logic and mathematics by William V. Caldwell, John H. McCray - 1979 - 168 pages |

A logic for correct program development by Joseph Louis Bates - 1979 - 436 pages |

A logic for the Russell programming language by Hans-Juergen Karl Hermann Boehm - 1984 - 310 pages |

A logical analysis of the theory of relativity by Håkan Törnebohm - 1952 - 273 pages |

A logical analysis of the theory of relativity by Håkan Törnebohm - 1952 - 273 pages |

A Logical Approach to Philosophy by Graham Solomon, David DeVidi, Tim Kenyon - 2006 - 227 pages |

A Logical Introduction to Proof by Daniel W. Cunningham - 2012 - 356 pages |

A manual of intensional logic by J. F. A. K. van Benthem - 1985 - 74 pages |

A Mathematical Introduction to Logic by Herbert B. Enderton - 2001 - 317 pages |

A mathematical introduction to logic by Herbert B. Enderton - 1972 - 295 pages |

A mathematical introduction to logic by Herbert B. Enderton - 1972 - 295 pages |

A mathematical logic without variables ... by John Barkley Rosser - 1935 - 355 pages |

A method in proofs of undefinability by Karel Louis de Bouvère - 1959 - 64 pages |

A model of set theory with a universal set by Emerson Mitchell - 1976 - 64 pages |

A Model-Theoretic Realist Interpretation of Science by E.B. Ruttkamp - 2002 - 190 pages |

A Modern Perspective on Type Theory by Fairouz D. Kamareddine, Twan Laan, R. Rob P. Nederpelt - 2004 - 357 pages |

A new decision procedure in logic with a computer realization by Joyce Barbara Friedman - 1964 |

A New Introduction to Modal Logic by G.E. Hughes, M.J. Cresswell - 1996 - 421 pages |

A nonlinear dynamics perspective of Wolfram's new kind of science by Leon O. Chua - 2007 - 947 pages |

A Peircean reduction thesis by Robert W. Burch - 1991 - 152 pages |

A Philosophical Companion to by R. I. G. Hughes - 1993 - 309 pages |

A Philosophical Guide to Conditionals by Jonathan Francis Bennett - 2003 - 387 pages |

A Practical Guide to Pseudospectral Methods by Bengt Fornberg - 1998 - 231 pages |

A Practical Guide to Pseudospectral Methods by Bengt Fornberg - 1998 - 231 pages |

A practical introduction to the new logic symbols by Ian Joseph Kampel - 1986 - 160 pages |

A practical introduction to the new logic symbols by Ian Joseph Kampel - 1986 - 160 pages |

A Pragmatic Theory of Fallacy by Douglas N. Walton - 1995 - 324 pages |

A Pragmatic Theory of Fallacy by Douglas N. Walton - 1995 - 324 pages |

A Precis of Mathematical Logic - 1960 - 116 pages |

A precis of mathematical logic by Joseph M. Bocheński - 1959 - 100 pages |

A preliminary investigation of the infinitely-many-valued predicate calculus by Joseph Dela Rutledge - 1959 - 216 pages |

A Primer of Infinitesimal Analysis by John L. Bell - 2008 - 124 pages |

A primer on determinism by John Earman - 1986 - 273 pages |

A problem of Rosser and Turquette in many-valued logic by Angelo Margaris - 1956 - 94 pages |

A Profile of Mathematical Logic by Howard DeLong - 2004 - 304 pages |

A profile of mathematical logic by Howard DeLong - 1970 - 304 pages |

A profile of mathematical logic by Howard DeLong - 1970 - 304 pages |

A Proof Theory For General Unification by Wayne Snyder - 1991 - 175 pages |

A recursion relation associated with a certain special type determinant by E. Baylis Shanks, George C. Marshall Space Flight Center - 1963 - 5 pages |

A Recursive Introduction to the Theory of Computation by Carl Smith - 1994 - 148 pages |

A set of axioms for logic by Theodore Hailperin - 1943 - 92 pages |

A Shorter Model Theory by Wilfrid Hodges - 1997 - 310 pages |

A Structuralist Theory of Logic by Arnold Koslow - 2005 - 436 pages |

A study in ternary logic by David James Anderson - 1963 - 102 pages |

A study in the foundations of programming methodology by Joseph Goguen, R. M. Burstall - 1986 - 26 pages |

A system of formal logic by Henry Bradford Smith - 1926 |

A theory of formal deducibility by Haskell B. Curry - 1966 - 129 pages |

A theory of sets by Anthony Perry Morse - 1965 - 130 pages |

A transfinite type theory with type variables by Peter Bruce Andrews - 1965 - 143 pages |

A treatise of formal logic by Jørgen Jørgensen - 1962 |

A treatise of formal logic by Jørgen Jørgensen - 1962 |

A treatise of formal logic by Jørgen Jørgensen - 1962 |

A treatise of formal logic by Jørgen Jørgensen - 1931 - 321 pages |

A treatise of formal logic by Jørgen Jørgensen - 1931 |

A Treatise on Many-Valued Logics by Siegfried Gottwald - 2001 - 604 pages |

A useful method for model-building by George E. P. Box, William Hunter - 1961 - 68 pages |

A-logic by Richard B. Angell - 2002 - 658 pages |

Abhāvavimarśaḥ by Dipak Ghosh, Gaurinath Bhattacharyya Shastri - 1984 - 128 pages |

Abriss der Logistik by Rudolf Carnap - 1929 - 114 pages |

Abriss der Logistik by Rudolf Carnap - 1929 - 114 pages |

Absolute logics by Jyrki Akkanen - 1995 - 83 pages |

Absoluteness of intuitionistic logic by Daniel Maurice Raphaël Leivant - 1979 - 137 pages |

Abstract AUTOMATH by Adrian Rezus - 1983 - 188 pages |

Abstract set theory by Abraham Adolf Fraenkel - 1976 - 281 pages |

Abstract set theory by Abraham Adolf Fraenkel - 1953 - 479 pages |

Abstract Sets and Finite Ordinals by G. B. Keene - 2007 - 106 pages |

Accessible Categories by Mihály Makkai, Robert Paré - 1989 - 176 pages |

Actes du Congrès international de philosophie scientifique, Sorbonne, Paris, 1935 - 1936 |

Adaptive and learning systems by Kumpati S. Narendra - 1986 - 418 pages |

Adaptive and learning systems by Kumpati S. Narendra - 1986 - 418 pages |

Adaptive Iir Filtering in Signal Processing and Control by Phillip A. Regalia - 1995 - 678 pages |

Advanced Logic for Applications by Richard E. Grandy - 1979 - 181 pages |

Advanced logic for applications by Richard E. Grandy - 1977 - 167 pages |

Advances in commutative ring theory by Marco Fontana, Salah-Eddine Kabbaj - 1999 - 555 pages |

Advances in Computational Complexity Theory by Jin-Yi Cai - 1993 - 209 pages |

Advances in fuzzy set theory and applications - 1979 - 753 pages |

Advances in fuzzy set theory and applications - 1979 - 753 pages |

Advances in fuzzy sets, possibility theory, and applications by Paul P. Wang - 1983 - 421 pages |

Advances in Intelligent Systems and Robotics by Germano Lambert Torres - 2003 - 217 pages |

Advances in Linear Logic by Jean-Yves Girard, Yves Lafont, Laurent Regnier - 1995 - 389 pages |

Advances in Logic by Su Gao, Yi Zhang - 2007 - 150 pages |

Advances in Modal Logic, Vol 3 by Marcus Kracht, Frank Wolter - 2002 - 424 pages |

Akademische Gedenkfeier für Paul Lorenzen by Christian Thiel - 1998 - 22 pages |

Alfred Tarski, Collected Papers: 1935-1944 by Alfred Tarski, Steven R. Givant - 1986 - 699 pages |

Algebraic Automata Theory by M. Holcombe, W. Michael L. Holcombe - 2004 - 244 pages |

Algebraic logic by H. Andréka, James Donald Monk, I. Németi, Bolyai János Matematikai Társulat - 1991 - 746 pages |

Algebraic Logic by Paul R. Halmos - 1962 - 271 pages |

Algebraic Logic by Paul R. Halmos - 1962 - 271 pages |

Algebraic logic and predicate functors by Willard Van Orman Quine - 1971 - 23 pages |

Algebraic Methods in Philosophical Logic by Jon Michael Dunn, Gary M. Hardegree - 2001 - 470 pages |

Algebraic properties of faults in logic networks by Frederick Wingfield Clegg, Stanford University. Stanford Electronics Laboratories, Edward J. McCluskey, United States. Joint Services Electronics Program, United States. Army, United States. Navy, United States. Air Force, National Science Foundation (U.S.) - 1970 - 140 pages |

Algebraic recursion theory by Ljubomir Lalov Ivanov - 1986 - 256 pages |

Algebraic semantics by Irène Guessarian - 1981 - 158 pages |

Algebraic Set Theory by Andri Joyal, Ieke Moerdijk - 1995 - 123 pages |

Algebraic Theory of Quasivarieties by Viktor A. Gorbunov - 1998 - 298 pages |

Algorithmic Learning Theory by Setsuo Arikawa, Klaus P. Jantke - 1994 - 573 pages |

Algorithms, Languages, Automata, & Compilers by Maxim Mozgovoy - 2009 - 345 pages |

Alternativen in der Raumzeit by Niko Strobach - 2007 - 408 pages |

Amarts and Set Function Processes by Allan Gut, Klaus D. Schmidt - 1983 - 258 pages |

An Algebraic Approach to Non-Classical Logics by Helena Rasiowa - 1974 - 403 pages |

An algebraic introduction to mathematical logic by Donald W. Barnes, J. M. Mack - 1975 - 121 pages |

An Architectonic for Science by W. Balzer, C.U. Moulines, J.D. Sneed - 1987 - 484 pages |

An Early History of Recursive Functions and Computability from Godel to Turing by Rod J. L. Adams - 2011 - 297 pages |

An efficient realization algorithm with three-input majority elements by Edward Martin Riseman - 1966 - 118 pages |

An essay in classical model [sic] logic by Krister Segerberg - 1971 - 500 pages |

An introduction to algebraic logic by Stephen Anthony Kiss - 1961 - 34 pages |

An Introduction to Critical Thinking and Creativity by J. Y. F. Lau - 2011 - 272 pages |

An Introduction to Critical Thinking and Creativity by J. Y. F. Lau - 2011 - 272 pages |

An introduction to decisión logic tables by Herman McDaniel - 1978 - 140 pages |

An introduction to decisión logic tables by Herman McDaniel - 1978 - 140 pages |

An introduction to decisión logic tables by Herman McDaniel - 1978 - 140 pages |

An Introduction to Formal Logic by Peter Smith - 2003 - 357 pages |

An Introduction to Gödel's Theorems by Peter Smith - 2007 - 361 pages |

An introduction to logic for mathematics by Ernest A. Kuehls - 1969 - 62 pages |

An Introduction to Many-Valued and Fuzzy Logic by Merrie Bergmann - 2008 - 329 pages |

An introduction to many-valued logics by Robert John Ackermann - 1967 - 90 pages |

An introduction to mathematical logic by Richard E. Hodel - 1995 - 491 pages |

An introduction to mathematical logic by Gerson B. Robison - 1969 - 212 pages |

An introduction to mathematical logic and type theory by Peter Bruce Andrews - 1986 - 304 pages |

An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof by Peter B. Andrews - 2002 - 390 pages |

An introduction to mathematical machine theory by Seymour Ginsburg - 1962 - 148 pages |

An introduction to mathematical machine theory by Seymour Ginsburg - 1962 - 148 pages |

An introduction to mathematical machine theory by Seymour Ginsburg - 1962 - 148 pages |

An introduction to mathematical machine theory by Seymour Ginsburg - 1962 - 148 pages |

An Introduction to Mathematical Reasoning by Peter J. Eccles - 1997 - 350 pages |

An introduction to mathematical reasoning by Boris Iglewicz, Judith Stoyle - 1973 - 231 pages |

An Introduction to Modal Logic by G. George Edward Hughes, Max J. Cresswell - 1996 - 421 pages |

An Introduction to Modal Logic by G. George Edward Hughes, Max J. Cresswell - 1996 - 421 pages |

An introduction to modal logic by George Edward Hughes, M. J. Cresswell - 1968 - 388 pages |

An Introduction to Modal Logic by George Edward Hughes, M. J. Cresswell - 1968 - 388 pages |

An introduction to modern logic by William Harold Halberstadt - 1960 - 221 pages |

An introduction to modern mathematics by Albert Monjallon - 1967 - 226 pages |

An introduction to sets and the structure of algebra by William R. Krickenberger, Helen R. Pearson - 1958 - 31 pages |

An Introduction to Stability Theory by Anand Pillay - 2008 - 146 pages |

An Introduction to Substructural Logics by Greg Restall - 2000 - 381 pages |

An Introduction to Substructural Logics by Greg Restall - 2000 - 381 pages |

An Introduction to Symbolic Logic by Susanne Katherina Knauth Langer - 1967 - 367 pages |

An Introduction to Wittgenstein's Tractatus by Gertrude Elizabeth Margaret Anscombe - 1971 - 179 pages |

An Investigation of the Laws of Thought by George Boole - 2007 - 440 pages |

An Investigation of the Laws of Thought by George Boole - 1958 - 424 pages |

An outline of mathematical logic by Andrzej Grzegorczyk - 1974 - 596 pages |

An outline of set theory by James M. Henle - 1986 - 145 pages |

Analysis by Steven R. Lay - 2005 - 384 pages |

Analysis and Logic by C. Ward Henson - 2002 - 267 pages |

Analysis and Synthesis of Logics by Walter Alexandre Carnielli - 2008 - 600 pages |

Analysis of the scale-contaminated normal model by James Kevin Little - 1983 - 490 pages |

Analytic and synthetic propositions and mathematical logic by Nikolaĭ Onufrievich Losskiĭ - 1953 - 16 pages |

Analyzing informal fallacies by S. Morris Engel - 1980 - 184 pages |

Andrzej Mostowski and Foundational Studies by Andrzej Mostowski, Andrzej Ehrenfeucht, V. Wiktor Marek, Marian Srebrny - 2008 - 447 pages |

Appeal to Expert Opinion by Douglas Walton - 2010 |

Applications of Categories in Computer Science by M. P. Fourman, P. T. Johnstone, A. M. Pitts - 1992 - 339 pages |

Applications of decision tables by Herman McDaniel - 1970 - 226 pages |

Applications of decision tables by Herman McDaniel - 1970 - 226 pages |

Applications of model theory to algebra, analysis, and probability by W. A. J. Luxemburg - 1969 - 307 pages |

Applied logic by Vito F. Sinisi - 2000 - 389 pages |

Applied Proof Theory by Ulrich Kohlenbach - 2008 - 532 pages |

Applying Fuzzy Mathematics to Formal Models in Comparative Politics by Terry D. Clark, Jennifer M. Larson, John N. Mordeson, Joshua D. Potter, Mark J. Wierman - 2008 - 214 pages |

Argumentation Schemes by Douglas Walton, Christopher Reed, Fabrizio Macagno - 2008 - 443 pages |

Aristotle on False Reasoning by Scott Gregory Schreiber - 2003 - 248 pages |

Aristotle on False Reasoning by Scott Gregory Schreiber - 2003 - 248 pages |

Aristotle's Posterior analytics by Aristotle - 1976 - 277 pages |