Bargain finder

Use this tool to find book bargains on Amazon Marketplace. It works best on the "my areas of interest" setting, but you need to specify your areas of interest first. You might also want to change your shopping locale (currently the US locale).

Note: the best bargains on this page tend to go fast; the prices shown can be inaccurate because of this.



 Offer type

 Sort by
 Max price
% off
 Min discount

 Min year

 Added since

 Pro authors only


1 — 50 / 230
  1. J. E. J. Altham (1971). The Logic of Plurality. London,Methuen.
  2. Patrick J. Hurley (2000). A Concise Introduction to Logic. Wadsworth Pub..
    Preface The most immediate benefit derived from the study of logic is the skill needed to construct sound arguments of one's own and to evaluate the ...
  3. Burnett Meyer (1974). An Introduction to Axiomatic Systems. Boston,Prindle, Weber & Schmidt.
  4. R. L. Goodstein (1971). Development of Mathematical Logic. London,Logos Press.
  5. Stephan Körner (1970). Categorial Frameworks. Oxford,Blackwell.
  6. Benson Mates (1972). Elementary Logic. New York,Oxford University Press.
  7. Harry R. Lewis (1979). Unsolvable Classes of Quantificational Formulas. Addison-Wesley Pub. Co..
  8. R. R. Rockingham Gill (1990). Deducibility and Decidability. Routledge.
    The classic results obtained by Gödel, Tarski, Kleene, and Church in the early thirties are the finest flowers of symbolic logic. They are of fundamental importance to those investigations of the foundations of mathematics via the concept of a formal system that were inaugurated by Frege, and of obvious significance to the mathematical disciplines, such as computability theory, that developed from them. Derived from courses taught by the author over several years, this new exposition presents all of the results with (...)
    Direct download (5 more)  
    Export citation  
    My bibliography  
  9. Irving M. Copi (1971). The Theory of Logical Types. London,Routledge and K. Paul.
    This reissue, first published in 1971, provides a brief historical account of the Theory of Logical Types; and describes the problems that gave rise to it, its ...
  10. A. G. Hamilton (1978). Logic for Mathematicians. Cambridge University Press.
    Intended for logicians and mathematicians, this text is based on Dr. Hamilton's lectures to third and fourth year undergraduates in mathematics at the ...
  11. Gregory Landini (1998). Russell's Hidden Substitutional Theory. Oxford University Press.
    This book explores an important central thread that unifies Russell's thoughts on logic in two works previously considered at odds with each other, the Principles of Mathematics and the later Principia Mathematica. This thread is Russell's doctrine that logic is an absolutely general science and that any calculus for it must embrace wholly unrestricted variables. The heart of Landini's book is a careful analysis of Russell's largely unpublished "substitutional" theory. On Landini's showing, the substitutional theory reveals the unity of Russell's (...)
  12. M. R. Haight (1999). The Snake and the Fox: An Introduction to Logic. Routledge.
    The Snake and the Fox offers students a new and exciting way to look at and understand logic. Mary Haight uses graphics to tell the story of how logic works, and why it works the way it does. This introductory text uses easy to understand language for the student who has no prior understanding of logic or philosophy. The author includes some discussion on the philosophical theory underlying the logic: not just how to do it, but why it takes the (...)
    Direct download (2 more)  
    Export citation  
    My bibliography  
  13. Stig Kanger & Sören Stenlund (eds.) (1974). Logical Theory and Semantic Analysis: Essays Dedicated to Stig Kanger on His Fiftieth Birthday. Reidel.
    Lewis, D. Semantic analyses for dyadic deontic logic.--Salomaa, A. Some remarks concerning many-valued propositional logics.--Chellas, B. F. Conditional obligation.--Jeffrey, R.C. Remarks on interpersonal utility theory.--Hintikka, J. On the proper treatment of quantifiers in Montague semantics.--Mayoh, B.H. Extracting information from logical proofs.--Åqvist, L. A new approach to the logical theory of actions and causality.--Pörn, I. Some basic concepts of action.--Bouvère, K. de. Some remarks concerning logical and ontological theories.--Hacking, I. Combined evidence.--Äberg, C. Solution to a problem raised by Stig Kanger and (...)
    Direct download (2 more)  
    Export citation  
    My bibliography  
  14. G. Hasenjaeger (1972). Introduction to the Basic Concepts and Problems of Modern Logic. Dordrecht-Holland,D. Reidel Pub. Co..
    Direct download (2 more)  
    Export citation  
    My bibliography  
  15. Dave Barker-Plummer (2011). Language, Proof, and Logic. Csli Publications.
    __Language Proof and Logic_ is available as a physical book with the software included on CD and as a downloadable package of software plus the book in PDF format. The all-electronic version is available from Openproof at The textbook/software package covers first-order language in a method appropriate for first and second courses in logic. An on-line grading services instantly grades solutions to hundred of computer exercises. It is designed to be used by philosophy instructors teaching a logic course to (...)
    Direct download (2 more)  
    Export citation  
    My bibliography  
  16. Alessandro Armando (ed.) (2002). Frontiers of Combining Systems: 4th International Workshop, Frocos 2002, Santa Margherita Ligure, Italy, April 8-10, 2002: Proceedings. [REVIEW] Springer.
    This book constitutes the refereed proceedings of the 4th International Conference on Frontiers of Combining Systems, FroCoS 2002, held in Santa Margherita Ligure, Italy, in April 2002.The 14 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 35 submissions. Among the topics covered are combination of logics, combination of constraint solving techniques, combination of decision procedures, combination problems in verification, modular problems of theorem proving, and the integration of decision procedures and other solving processes (...)
    Direct download (2 more)  
    Export citation  
    My bibliography  
  17. Marian Przełęcki (1969). The Logic of Empirical Theories. Routledge & Kegan Paul.
  18. Henry Siggins Leonard (1967). Principles of Reasoning. New York, Dover Publications.
  19. Ernest LePore (2000). Meaning and Argument: An Introduction to Logic Through Language. Blackwell.
    Meaning and Argument shifts introductory logic from the traditional emphasis on proofs to the symbolization of arguments. Another distinctive feature of this book is that it shows how the need for expressive power and for drawing distinctions forces formal language development. This revised edition includes expanded sections, additional exercises, and an updated bibliography. Updated and revised edition includes extended sections, additional exercises, and an updated bibliography. Distinctive approach in that this text is a philosophical, rather than mathematical introduction to logic. (...)
  20. Brian Skyrms (1975). Choice and Chance: An Introduction to Inductive Logic. Dickenson Pub. Co..
  21. P. F. Strawson (2004). Logico-Linguistic Papers. Ashgate.
    This reissue of his collection of early essays, Logico-Linguistic Papers, is published with a brand new introduction by Professor Strawson but, apart from minor ...
  22. Alexander Bochman (2001). A Logical Theory of Nonmonotonic Inference and Belief Change. Springer.
    This is the first book that integrates nonmonotonic reasoning and belief change into a single framework from an artificial intelligence logic point-of-view.
      Direct download (2 more)  
    Export citation  
    My bibliography   6 citations  
  23. W. Edgar Moore (1967). Creative and Critical Thinking. Boston, Houghton Mifflin.
  24. Wilbur Samuel Howell (1971). Eighteenth-Century British Logic and Rhetoric. Princeton,Princeton University Press.
  25. Patrick Suppes (ed.) (1973). Logic, Methodology and Philosophy of Science. New York,American Elsevier Pub. Co..
    ELEMENTARY LOGIC GR. C. MOISIL Institute of Mathematics, Rumanian Academy, Bucharest, Rumania 1. We shall consider a typified logic of propositions. ...
    Direct download (3 more)  
    Export citation  
    My bibliography   19 citations  
  26. Ayda I. Arruda, R. Chuaqui & Newton C. A. Costa (eds.) (1980). Mathematical Logic in Latin America: Proceedings of the IV Latin American Symposium on Mathematical Logic Held in Santiago, December 1978. Sole Distributors for the U.S.A. And Canada, Elsevier North-Holland.
    (or not oveA-complete.) . Let * be a unary operator defined on the set F of formulas of the language £ (ie, if A is a formula of £, then *A is also a ...
    Direct download (2 more)  
    Export citation  
    My bibliography   15 citations  
  27. G. H. von Wright (ed.) (1980). Logic and Philosophy. Distribution for the U.S. And Canada, Kluwer Boston.
  28. V. Di Gesù, F. Masulli & Alfredo Petrosino (eds.) (2006). Fuzzy Logic and Applications: 5th International Workshop, Wilf 2003, Naples, Italy, October 9-11, 2003: Revised Selected Papers. [REVIEW] Springer.
    This volume constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Fuzzy Logic and Applications held in Naples, Italy, in October 2003. The 40 revised full papers presented have gone through two rounds of reviewing and revision. All current issues of theoretical, experimental and applied fuzzy logic and related techniques are addressed with special attention to rough set theory, neural networks, genetic algorithms and soft computing. The papers are organized in topical section on fuzzy sets and systems, (...)
    Direct download (2 more)  
    Export citation  
    My bibliography  
  29. C.-T. Chong & M. J. Wicks (eds.) (1983). Southeast Asian Conference on Logic: Proceedings of the Logic Conference, Singapore, 1981. Sole Distributors for the U.S.A. And Canada, Elsevier Science Pub. Co..
  30. Robert C. Trundle (1999). Medieval Modal Logic & Science: Augustine on Necessary Truth & Thomas on its Impossibility Without a First Cause. University Press of America.
    Medieval Modal Logic & Science uses modal reasoning in a new way to fortify the relationships between science, ethics, and politics. Robert C. Trundle accomplishes this by analyzing the role of modal logic in the work of St. Augustine and St. Thomas Aquinas, then applying these themes to contemporary issues. He incorporates Augustine's ideas involving thought and consciousness, and Aquinas's reasoning to a First Cause. The author also deals with Augustine's ties to Aristotelian modalities of thought regarding science and logic, (...)
  31. Ludwig Wittgenstein (1973). Letters to C. K. Ogden with Comments on the English Translation of the Tractatus Logico-Philosophicus. Boston,Routledge & K. Paul.
  32. Susan Haack (1974). Deviant Logic: Some Philosophical Issues. Cambridge University Press.
    PART ONE I 'Alternative' in 'Alternative logic There are many systems of logic — many-valued systems and modal systems for instance - which are non-standard ...
    Direct download (3 more)  
    Export citation  
    My bibliography   69 citations  
  33. Sybil Wolfram (1989). Philosophical Logic: An Introduction. Routledge.
    A basic introduction to the subject which addresses questions of truth and meaning, providing a basis for much of what is discussed elsewhere in philosophy. Up-to-date and comprehensive.
  34. Jc Beall & Bradley Armour-Garb (eds.) (2005). Deflationism and Paradox. Oxford University Press.
    In this volume of fourteen original essays, a distinguished team of contributors explore the extent to which, if at all, deflationism can accommodate paradox.
  35. Peter Aczel, Harold Simmons & S. S. Wainer (eds.) (1992). Proof Theory: A Selection of Papers From the Leeds Proof Theory Programme, 1990. Cambridge University Press.
    This work is derived from the SERC "Logic for IT" Summer School Conference on Proof Theory held at Leeds University. The contributions come from acknowledged experts and comprise expository and research articles which form an invaluable introduction to proof theory aimed at both mathematicians and computer scientists.
    Direct download (2 more)  
    Export citation  
    My bibliography  
  36. Karel Lambert (2003). Free Logic: Selected Essays. New Yorkcambridge University Press.
    Free logic is an important field of philosophical logic that first appeared in the 1950s. J. Karel Lambert was one of its founders and coined the term itself. The essays in this collection (written over a period of 40 years) explore the philosophical foundations of free logic and its application to areas as diverse as the philosophy of religion and computer science. Amongst the applications on offer are those to the analysis of existence statements, to definite descriptions and to partial (...)
  37. J. C. Beall & B. Amour-Garb (eds.) (2005). Deflation and Paradox. Oxford University Press.
    In this volume of fourteen original essays, a distinguished team of contributors explore the extent to which, if at all, deflationism can accommodate paradox.
      Direct download (2 more)  
    Export citation  
    My bibliography   4 citations  
  38. J. L. Mackie (1972). Truth, Probability and Paradox: Studies in Philosophical Logic. Oxford,Clarendon Press.
  39. Alex C. Michalos (1969). Principles of Logic. Englewood Cliffs, N.J.,Prentice-Hall.
  40. André Fuhrmann & Michael Morreau (eds.) (1991). The Logic of Theory Change. Springer.
    The book presents the results of the joint annual conference of the four Operations Research Societies DGOR, GM\OR, \GOR and SVOR, held in Vienna in 1990.
      Direct download (2 more)  
    Export citation  
    My bibliography   2 citations  
  41. J. P. Cleave & Stephan Körner (eds.) (1976). Philosophy of Logic: Papers and Discussions. University of California Press.
  42. M. Ben-Ari (1993). Mathematical Logic for Computer Science. Prentice Hall.
    Mathematical Logic for Computer Science is a mathematics textbook with theorems and proofs, but the choice of topics has been guided by the needs of computer science students. The method of semantic tableaux provides an elegant way to teach logic that is both theoretically sound and yet sufficiently elementary for undergraduates. To provide a balanced treatment of logic, tableaux are related to deductive proof systems.The logical systems presented are:- Propositional calculus (including binary decision diagrams);- Predicate calculus;- Resolution;- Hoare logic;- Z;- (...)
  43. Francesco Berto (2009). There's Something About Gödel: The Complete Guide to the Incompleteness Theorem. Wiley-Blackwell.
    The Gödelian symphony -- Foundations and paradoxes -- This sentence is false -- The liar and Gödel -- Language and metalanguage -- The axiomatic method or how to get the non-obvious out of the obvious -- Peano's axioms -- And the unsatisfied logicists, Frege and Russell -- Bits of set theory -- The abstraction principle -- Bytes of set theory -- Properties, relations, functions, that is, sets again -- Calculating, computing, enumerating, that is, the notion of algorithm -- Taking numbers (...)
  44. Irving M. Copi (1972). Readings on Logic. New York,Macmillan.
  45. Susan Haack (1978). Philosophy of Logics. Cambridge University Press.
    The first systematic exposition of all the central topics in the philosophy of logic, Susan Haack's book has established an international reputation (translated into five languages) for its accessibility, clarity, conciseness, orderliness, and range as well as for its thorough scholarship and careful analyses. Haack discusses the scope and purpose of logic, validity, truth-functions, quantification and ontology, names, descriptions, truth, truth-bearers, the set-theoretical and semantic paradoxes, and modality. She also explores the motivations for a whole range of nonclassical systems of (...)
  46. Michael Devitt (1991). Realism and Truth. B. Blackwell.
  47. H. Jerome Keisler (1971). Model Theory for Infinitary Logic. Amsterdam,North-Holland Pub. Co..
    Provability, Computability and Reflection.
  48. E. M. Barth & J. L. Martens (eds.) (1982). Argumentation: Approaches to Theory Formation: Containing the Contributions to the Groningen Conference on the Theory of Argumentation, October 1978. Benjamins.
    The contributions in the first part Re-modelling logic of this volume take account of formal logic in the theory of rational argumentation.
  49. Ian Hacking & Casimir Lewy (eds.) (1985). Exercises in Analysis: Essays by Students of Casimir Lewy. Cambridge University Press.
    This is a volume of specially commissioned essays of analytical philosophy, on topics of current interest in ethics and the philosophy of logic and language. Among the topics discussed are the making of wicked promises, G. E. Moore's early ethical views, as well as indexicals, tense, indeterminism, conventionalism in mathematics, and identity and necessity. The essays are all by former students of Casimir Lewy, until recently Reader in Philosophy at the University of Cambridge and an exponent of a particularly thoroughgoing (...)
    Direct download (2 more)  
    Export citation  
    My bibliography  
  50. Colin Howson (1997). Logic with Trees: An Introduction to Symbolic Logic. Routledge.
    Logic With Trees is a new and original introduction to modern formal logic. It contains discussions on philosophical issues such as truth, conditionals and modal logic, presenting the formal material with clarity, and preferring informal explanations and arguments to intimidatingly rigorous development. Worked examples and exercises guide beginners through the book, with answers to selected exercises enabling readers to check their progress. Logic With Trees equips students with: a complete and clear account of the truth-tree system for first order logic; (...)
  51. 1 — 50 / 230