Symbolic logic by Richmond H. Thomason - 1969 - 367 pages |

Symbolic logic by Irving M. Copi - 1965 - 395 pages |

Symbolic logic by Irving M. Copi - 1965 - 395 pages |

Symbolic logic by Irving M. Copi - 1965 - 395 pages |

Symbolic logic by Irving M. Copi - 1965 - 395 pages |

Symbolic logic by Harold Newton Lee - 1961 - 356 pages |

Symbolic logic by Harold Newton Lee - 1961 - 356 pages |

Symbolic logic by Clarence Irving Lewis, Cooper Harold Langford - 1959 - 518 pages |

Symbolic logic by Charles Lutwidge Dodgson - 1955 - 203 pages |

Symbolic logic by Irving M. Copi - 1954 - 355 pages |

Symbolic logic by Irving M. Copi - 1954 - 355 pages |

Symbolic logic by Frederic Brenton Fitch - 1952 - 238 pages |

Symbolic Logic by John Venn - 1894 - 540 pages |

Symbolic Logic by John Venn - 1894 - 540 pages |

Symbolic logic and mechanical theorem proving by Chin-Liang Chang, Richard Char-Tung Lee - 1973 - 331 pages |

Symbolic logic, Bolean algebra and the design of digital systems by Computer Control Co., inc - 1959 - 32 pages |

Symbolik des chinesischen Universismus by Hermann Köster, Gernot Prunner - 1958 - 161 pages |

Symposium on logic programming by IEEE Computer Society - 1986 - 285 pages |

Systems of formal logic by L. H. Hackstaff - 1966 - 354 pages |

Systems of formal logic by L. H. Hackstaff - 1966 - 354 pages |

Systems of formal logic by L. H. Hackstaff - 1966 - 354 pages |

Sāmānyaniruktisaugandhyam by Rājārāma Śukla, Sampūrṇānanda Saṃskr̥ta Viśvavidyālaya - 2003 - 252 pages |

Tableau recursions and symmetric Schensted correspondences for ordinary, shifted and oscillating tableaux by Timothy J. McLarnan - 1986 - 202 pages |

Tableau systems for first order number theory and certain higher order theories by Sue Ann Toledo - 1975 - 339 pages |

Taking Sudoku Seriously:The Math Behind the World's Most Popular Pencil Puzzle by Jason Rosenhouse, Laura Taalman - 2011 - 226 pages |

Taking Sudoku Seriously:The Math Behind the World's Most Popular Pencil Puzzle by Jason Rosenhouse, Laura Taalman - 2011 - 226 pages |

Tame Topology and O-minimal Structures by Lou Van Den Dries - 1998 - 180 pages |

Tarski, model theory, and logical truth by John William Etchemendy - 1982 - 432 pages |

Teacher's manual by Howard Pospesel - 1974 - 57 pages |

Techniques and counterexamples in almost categorical recursive model theory by Mark S. Manasse - 1982 - 300 pages |

Techniques of Admissible Recursion Theory by C. T. Chong - 1985 - 214 pages |

Techniques of admissible recursion theory by Chi-Tat Chong - 1984 - 214 pages |

Techniques of Admissible Recursion Theory by C. T. Chong - 1984 - 214 pages |

Techniques of deductive inference by Hugues Leblanc - 1966 - 216 pages |

Techniques of deductive inference by Hugues Leblanc - 1966 - 216 pages |

Temporal Logic by Dov M. Gabbay, Mark A. Reynolds, Marcelo Finger - 2000 - 612 pages |

Temporal Logic by Peter Øhrstrøm, Per Hasle - 1995 - 413 pages |

Temporal Logic by Peter Øhrstrøm, Per Hasle - 1995 - 413 pages |

Temporal logic by Nicholas Rescher, Alasdair Urquhart - 1971 - 273 pages |

Temporal logic by Nicholas Rescher, Alasdair Urquhart - 1971 - 273 pages |

Temporal modalities in Arabic logic by Nicholas Rescher - 1967 - 51 pages |

Teoria Algebrica Dei Meccanismi Automatici by R. Righi - 2012 - 577 pages |

Teoria algebrica dei meccanismi automatici by Centro internazionale matematico estivo - 1959 |

Teoria della dimostrazione by Carlo Cellucci - 1978 - 315 pages |

Teoria mnogości by Kazimierz Kuratowski, Andrzej Mostowski - 1952 - 311 pages |

Term logic with choice operator by Hans Hermes - 1970 - 55 pages |

The acceptance and recognition of six logical inference patterns by secondary students by William Anton Miller - 1968 - 594 pages |

The Age of Alternative Logics by J. F. A. K. van Benthem, Shahid Rahman, John Symons - 2006 - 348 pages |

The anagogic theory of Wittgenstein's 'Tractatus' by Roy Emanuel Lemoine - 1975 - 215 pages |

The analyst by George Berkeley - 1734 - 94 pages |

The anatomy of mathematics by Richard Brandon Kershner, Lee Roy Wilcox - 1950 - 416 pages |

The and/or process model for parallel interpretation of logic programs by John S. Conery - 1983 - 314 pages |

The Applicability of Mathematics as a Philosophical Problem by Mark Steiner - 1998 - 215 pages |

The applicative realm - 2007 - 175 pages |

The Arrow and the Point by Guido Bonino - 2008 - 372 pages |

The art of deception by Nicholas Capaldi - 1979 - 200 pages |

The Arts of Truth by Rud Istvan - 2012 |

The Axiom of Choice by Thomas J. Jech - 2008 - 202 pages |

The Axiom of Choice by Thomas J. Jech - 2008 - 202 pages |

The axiom of constructibility by Keith J. Devlin - 1977 - 95 pages |

The Axiom of Constructibility by Keith J. Devlin - 1977 - 95 pages |

The Axiom of Determinacy, Forcing Axioms, and the Nonstationary Ideal by W. Hugh Woodin - 2010 - 852 pages |

The Axiom of Determinacy, Forcing Axioms, and the Nonstationary Ideal by W. Hugh Woodin - 1999 - 934 pages |

The Basic Laws of Arithmetic by Gottlob Frege - 1964 - 144 pages |

The Basic Laws of Arithmetic by Gottlob Frege - 1964 - 142 pages |

The book of the fallacy by Madsen Pirie - 1985 - 189 pages |

The bum's rush : the selling of environmental backlash by Donald Trent Jacobs - 1994 - 165 pages |

The Calculi of Lambda Conversion. (Am-6) by Alonzo Church - 1941 - 77 pages |

The categories of Charles Peirce by Eugene Freeman - 1934 - 62 pages |

The categories of Charles Peirce ... by Eugene Freeman - 1937 - 62 pages |

The Church-Rosser theorem by David Edward Schroer - 1965 - 1346 pages |

The Church-Rosser theorem by David Edward Schroer - 1965 - 1346 pages |

The Classical Decision Problem by E. Börger, Erich Grädel, Yuri Gurevich - 2001 - 482 pages |

The Classical Decision Problem by Egon Börger, Erich Grädel, Yuri Gurevich - 1997 - 492 pages |

The Classification of Countable Homogeneous Directed Graphs and Countable Homogeneous N-Tournaments by Gregory L. Cherlin - 1998 - 161 pages |

The Colorado Mathematical Olympiad and Further Explorations by Alexander Soifer - 2011 - 408 pages |

The computer modelling of mathematical reasoning by Alan Bundy - 1983 - 322 pages |

The computer modelling of mathematical reasoning by Alan Bundy - 1983 - 322 pages |

The concept of logical consequence by John Etchemendy - 1990 - 174 pages |

The Conceptual Roots of Mathematics by John R. Lucas - 2000 - 452 pages |

The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory by Kurt Gödel - 1961 - 69 pages |

The Continuum Companion to Philosophical Logic by Leon Horsten, Richard Pettigrew - 2011 - 637 pages |

The core model up to one strong cardinal by Ralf-Dieter Schindler - 1997 - 122 pages |

The Corps and the shore by Orrin H. Pilkey, Katharine L. Dixon - 1996 - 272 pages |

The cosmical knowledge and the human computer by Ion Costescu - 1996 - 115 pages |

The cosmical knowledge and the human computer by Ion Costecsu - 1978 - 133 pages |

The Covering Property Axiom, CPA by Krzysztof Ciesielski, Janusz Pawlikowski - 2004 - 174 pages |

The Curry-Howard isomorphism by Ph. de Groote - 1995 - 364 pages |

The De-Mathematisation of Logic by Barry Hartley Slater - 2007 - 255 pages |

The decision problem by Burton Dreben, Warren D. Goldfarb - 1979 - 271 pages |

The development of mathematical logic by P. H. Nidditch - 1998 - 88 pages |

The Development of Modal Reasoning by Gilberte Piéraut-Le Bonniec - 1980 - 171 pages |

The development of modal reasoning by Gilberte Piéraut-Le Bonniec - 1980 - 171 pages |

The development of modern logic by Leila Haaparanta - 2009 - 994 pages |

The development of symbolic logic by Arthur T. Shearman - 1906 - 242 pages |

The Dilworth theorems by Robert Palmer Dilworth, Kenneth P. Bogart, Ralph S. Freese, Joseph P. S. Kung - 1990 - 465 pages |

The Education of T. C. Mits by Lillian Rosanoff Lieber, Hugh Gray Lieber - 1944 - 230 pages |

The effect of Griss' criticism of the intuitionistic logic on deductive theories formalized within the intuitionistic logic by Paul Carl Gilmore - 1953 - 24 pages |

The Eighth International Symposium on Multiple-Valued Logic by IEEE Computer Society - 1978 - 298 pages |

The elements of formal logic by George Edward Hughes, D. G. Londey - 1965 - 403 pages |

The Elements of Mathematical Logic by Paul C. Rosenbloom - 2005 - 214 pages |

The Evolution of Logic by W. D. Hart, W. Wilbur Dyre Hart - 2010 - 299 pages |

The First Course in Mathematical Logic by Patrick Suppes, Shirley A. Hill - 1964 - 274 pages |

The First Person by Roderick M. Chisholm - 1981 - 135 pages |

The forcing method and the upper semi-lattice of hyperdegrees by Steven Karl Thomason - 1966 - 200 pages |

The formal theoretic analysis of strong equivalence for elemental programs by Donald Maurice Kaplan - 1968 - 526 pages |

The foundation of a generic theorem prover by Lawrence C. Paulson, University of Cambridge. Computer Laboratory - 1988 - 44 pages |

The foundations of intuitionistic mathematics by Stephen Cole Kleene, Richard Eugène Vesley - 1965 - 206 pages |

The foundations of intuitionistic mathematics by Stephen Cole Kleene, Richard Eugène Vesley - 1965 - 206 pages |

The Foundations of Mathematics by Frank Plumpton Ramsey - 2001 - 292 pages |

The foundations of mathematics and other logical essays by Frank Plumpton Ramsey - 1954 - 292 pages |

The Foundations of Mathematics in the Theory of Sets by John P. Mayberry - 2000 - 424 pages |

The future of post-human mathematical logic by Peter Baofu - 2008 - 278 pages |

The Fuzzy Future by Bart Kosko - 1999 - 353 pages |

The general theory of notational relativity by Henry Maurice Sheffer - 1921 - 68 pages |

The global dynamics of cellular automata by Andrew Wuensche, Mike Lesser - 1992 - 250 pages |

The Global Dynamics of Cellular Automata by Andrew Wuensche, Mike Lesser - 1992 - 250 pages |

The grammar of mathematics by Lincoln K. Durst - 1969 - 178 pages |

The Higher Infinite by Akihiro Kanamori - 2008 - 536 pages |

The higher infinite by Akihiro Kanamori - 1994 - 536 pages |

The higher infinite by Akihiro Kanamori - 1994 - 536 pages |

The Human Being As a Logical Thinker by Noel Balzer - 1993 - 148 pages |

The Iconic Logic of Peirce's Graphs by Sun-Joo Shin - 2002 - 208 pages |

The inclusion lattice and degrees of unsolvability of the recursively enumerable sets by Robert William Robinson - 1966 - 182 pages |

The Incompleteness Phenomenon by Martin Goldstern, Haim Judah - 1998 - 247 pages |

The incompleteness phenomenon by Martin Goldstern, Haim Judah - 1995 - 247 pages |

The independence of the axiom of choice by Elliott Mendelson - 1955 - 78 pages |

The indispensability of mathematics by Mark Colyvan - 2001 - 172 pages |

The Ins and Outs of the Predication by Johan Van Der Auwera, Louis Goossens - 1987 - 218 pages |

The irony of Heidegger by Andrew Haas - 2007 - 180 pages |

The keys to advanced mathematics by Daniel Solow - 1995 - 476 pages |

The Kleene Symposium by Stephen Cole Kleene, Jon Barwise, H. Jerome Keisler, Kenneth Kunen - 1980 - 425 pages |

The L.E.J. Brouwer Centenary Symposium - 1982 - 523 pages |

The language of logic by Morton L. Schagrin - 1979 - 319 pages |

The language of logic by Morton L. Schagrin - 1968 - 247 pages |

The language of logic by Morton L. Schagrin - 1968 - 247 pages |

The Laws of Thought by George Boole - 2003 - 424 pages |

The laws of thought (1854) by George Boole - 1854 - 448 pages |

The Limits of Science by Leon Chwistek - 2001 - 347 pages |

The logic book by Merrie Bergmann, James Moor, Jack Nelson - 1998 - 556 pages |

The logic book by Merrie Bergmann, James Moor, Jack Nelson - 1998 - 556 pages |

The logic book by Merrie Bergmann, James Moor, Jack Nelson - 1980 - 459 pages |

The logic of chance by John Venn - 1962 - 508 pages |

The logic of chance by John Venn - 1962 - 508 pages |

The logic of chance by John Venn - 1888 - 508 pages |

The logic of chance by John Venn - 1888 - 508 pages |

The logic of chance by John Venn - 1876 - 488 pages |

The logic of chance by John Venn - 1866 - 370 pages |

The logic of chance by John Venn - 1866 - 370 pages |

The logic of chance by John Venn - 1866 - 370 pages |

The logic of commands by Nicholas Rescher - 1966 - 147 pages |

The logic of plurality by James Edward John Altham - 1971 - 84 pages |

The logical and set-theoretical foundations of mathematics by Achim Zulauf - 1969 - 259 pages |

The Logical Entrepise by Frederic Frederic Brenton Fitch - 1975 - 261 pages |

The logical forms of evaluative sentences by Ron G Williams - 1975 - 802 pages |

The logical problem of induction by Georg Henrik Wright - 1957 - 249 pages |

The Logical Status of Diagrams by Sun-Joo Shin - 1994 - 197 pages |

The Logico-algebraic Approach to Quantum Mechanics: Contemporary consolidation - 1979 - 486 pages |

The Logico-algebraic Approach to Quantum Mechanics: Contemporary consolidation - 1979 - 486 pages |

The logics of preference by Nicholas J. Moutafakis - 1987 - 287 pages |

The Magic Garden of George B. And Other Logic Puzzles by Raymond Smullyan - 2007 - 176 pages |

The many worlds of logic by Paul Herrick - 1994 - 581 pages |

The Mathematical Olympiad Handbook by Anthony Gardiner - 1997 - 229 pages |

The mathematical psychology of Gratry and Boole by Mary Everest Boole - 1897 - 116 pages |

The mathematical theory of context free languages by Seymour Ginsburg - 1966 - 232 pages |

The Mathematics of Logic by Richard W. Kaye - 2007 - 204 pages |

The Mathematics of Logic by Richard W. Kaye - 2007 - 204 pages |

The maximal deviation of lattice paths by Wolfgang Panny - 1984 - 88 pages |

The Metaphysics of the "Tractatus." (1. Publ.) by Peter Carruthers - 1990 - 210 pages |

The Metaphysics of Theism and Modality by Richard Brian Davis - 2001 - 138 pages |

The nature of intention by Jack W. Meiland - 1970 - 136 pages |

The Navya-nyāya doctrine of negation by Bimal Krishna Matilal, Gaṅgeśa, Raghunātha Śiromaṇi - 1968 - 208 pages |

The Nineteenth International Symposium on Multiple-Valued Logic - 1989 - 464 pages |

The Nuts and Bolts of Proofs by Antonella Cupillari - 2012 - 283 pages |

The Nuts And Bolts of Proofs by Antonella Cupillari - 2005 - 179 pages |

The Nuts and Bolts of Proofs by Antonella Cupillari - 2001 - 149 pages |

The ontology of Negation by Srilekha Datta, Jadavpur University - 1991 - 113 pages |

The pea & the sun by Leonard M. Wapner - 2005 - 218 pages |

The philosophical presuppositions of mathematical logic by Harold Robert Smart - 1925 - 98 pages |

The Philosophy of Mathematics by Auguste Comte, William Mitchell Gillespie - 2005 - 260 pages |

The Place of Syllogistic in Logical Theory by Michael Clark (M.A.) - 1980 - 151 pages |

The Possible and the actual - 1979 - 334 pages |

The Possible and the Actual - 1979 - 334 pages |

The problems of logic by Andrew Paul Ushenko - 1941 - 225 pages |

The problems of logic by Andrew Paul Ushenko - 1941 - 225 pages |

The proceedings of the Bertrand Russell Memorial Logic Conference, Uldum, Denmark, 1971 by John Lane Bell - 1973 - 404 pages |

The process of mathematical reasoning as presented in Descartes' "Regulae ad directionem ingenii" by Marie Eleanor Porter - 1950 - 92 pages |

The Puzzler's Dilemma by Derrick Niederman - 2012 - 224 pages |

The real-algebraic structure of Scott's model of intuitionistic analysis by Philip Henry Scowcroft - 1983 - 132 pages |

The Reflective Lorentzian Lattices of Rank 3 by Daniel Allcock - 2012 - 108 pages |

The Revision Theory of Truth by Anil Kumar Gupta, Nuel D. Belnap - 1993 - 299 pages |

The Rise of Modern Logic: from Leibniz to Frege - 2004 - 780 pages |

The role of true finiteness in the admissible recursively enumerable degrees by Noam Greenberg - 2004 - 326 pages |

The Scientific world-perspective and other essays, 1931-1963 by Kazimierz Ajdukiewicz - 1978 - 378 pages |

The Search for Truth by Eric Temple Bell - 2005 - 304 pages |

The set where a transcendental entire function is large and an allied problem by Subinoy Chakravarty - 1975 - 78 pages |

The situation in logic by Jon Barwise - 1984 |

The Souslin problem by Keith J. Devlin, Håvard Johnsbråten - 1974 - 132 pages |

The Souslin problem by Keith J. Devlin, Håvard Johnsbråten - 1974 - 132 pages |

The states of aggregation by Gustav Heinrich Johann Apollon Tammann, Robert Franklin Mehl - 1925 - 297 pages |