BooksSitemapMathematicsLogic
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
1 2 3 4 5 6 7 8 9 10 11