| 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 |