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 / 221
  1. Burnett Meyer (1974). An Introduction to Axiomatic Systems. Boston,Prindle, Weber & Schmidt.
  2. J. E. J. Altham (1971). The Logic of Plurality. London,Methuen.
  3. R. L. Goodstein (1971). Development of Mathematical Logic. London,Logos Press.
  4. Alan Ross Anderson, Ruth Barcan Marcus, R. M. Martin & Frederic B. Fitch (eds.) (1975). The Logical Enterprise. Yale University Press.
    Metaphysics and language: Quine, W. V. O. On the individuation of attributes. Körner, S. On some relations between logic and metaphysics. Marcus, R. B. Does the principle of substitutivity rest on a mistake? Van Fraassen, B. C. Platonism's pyrrhic victory. Martin, R. M. On some prepositional relations. Kearns, J. T. Sentences and propositions.--Basic and combinatorial logic: Orgass, R. J. Extended basic logic and ordinal numbers. Curry, H. B. Representation of Markov algorithms by combinators.--Implication and consistency: Anderson, A. R. Fitch on (...)
    Direct download  
    Export citation  
    My bibliography   7 citations  
  5. 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  
  6. 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  
  7. 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  
  8. 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  
  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. Benson Mates (1972). Elementary Logic. New York,Oxford University Press.
  11. Harry R. Lewis (1979). Unsolvable Classes of Quantificational Formulas. Addison-Wesley Pub. Co..
  12. Stephan Körner (1970). Categorial Frameworks. Oxford,Blackwell.
  13. Wilbur Samuel Howell (1971). Eighteenth-Century British Logic and Rhetoric. Princeton,Princeton University Press.
  14. Henry Siggins Leonard (1967). Principles of Reasoning. New York, Dover Publications.
  15. 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  
  16. 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  
  17. 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  
  18. Marian Przełęcki (1969). The Logic of Empirical Theories. Routledge & Kegan Paul.
  19. W. Edgar Moore (1967). Creative and Critical Thinking. Boston, Houghton Mifflin.
  20. S. B. Cooper & Andrea Sorbi (eds.) (2011). Computability in Context: Computation and Logic in the Real World. World Scientific.
    Recent new paradigms of computation, based on biological and physical models, address in a radically new way questions of efficiency and challenge assumptions ...
  21. Richard C. Jeffrey (ed.) (1980). Studies in Inductive Logic and Probability. Berkeley: University of California Press.
    Then, in 1960, Carnap drew up a plan of articles for Studies in Inductive Logic and Probability — a surrogate for Volume II of the ...
    Direct download (3 more)  
    Export citation  
    My bibliography   8 citations  
  22. Brian Skyrms (1975). Choice and Chance: An Introduction to Inductive Logic. Dickenson Pub. Co..
  23. 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  
  24. 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 ...
  25. Peter Gibbins (1987). Particles and Paradoxes: The Limits of Quantum Logic. Cambridge University Press.
    Quantum theory is our deepest theory of the nature of matter. It is a theory that, notoriously, produces results which challenge the laws of classical logic and suggests that the physical world is illogical. This book gives a critical review of work on the foundations of quantum mechanics at a level accessible to non-experts. Assuming his readers have some background in mathematics and physics, Peter Gibbins focuses on the questions of whether the results of quantum theory require us to abandon (...)
  26. Samuel D. Guttenplan (1997). The Languages of Logic: An Introduction to Formal Logic. Blackwell Publishers.
    With the same intellectual goals as the first edition, this innovative introductory logic textbook explores the relationship between natural language and logic, motivating the student to acquire skills and techniques of formal logic. This new and revised edition includes substantial additions which make the text even more useful to students and instructors alike. Central to these changes is an Appendix, 'How to Learn Logic', which takes the student through fourteen compact and sharply directed lessons with exercises and answers.
  27. 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  
  28. 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.
  29. Helena Rasiowa (1974). An Algebraic Approach to Non-Classical Logics. Warszawa,Pwn - Polish Scientific Publishers.
    Provability, Computability and Reflection.
    Direct download (3 more)  
    Export citation  
    My bibliography   123 citations  
  30. Irving M. Copi (1973/1968). Symbolic Logic. New York,Macmillan.
  31. 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. (...)
  32. 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  
  33. 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 (...)
  34. Alex C. Michalos (1969). Principles of Logic. Englewood Cliffs, N.J.,Prentice-Hall.
  35. Ludwig Wittgenstein (1973). Letters to C. K. Ogden with Comments on the English Translation of the Tractatus Logico-Philosophicus. Boston,Routledge & K. Paul.
  36. 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.
  37. 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 ...
  38. 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  
  39. 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  
  40. G. H. von Wright (ed.) (1980). Logic and Philosophy. Distribution for the U.S. And Canada, Kluwer Boston.
  41. J. P. Cleave & Stephan Körner (eds.) (1976). Philosophy of Logic: Papers and Discussions. University of California Press.
  42. 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.
  43. M. Ben-Ari (1993/2003). 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;- (...)
  44. S. B. Cooper, Benedikt Löwe & Andrea Sorbi (eds.) (2007). New Computational Paradigms: Changing Conceptions of What is Computable. Springer.
    Logicians and theoretical physicists will also benefit from this book.
  45. 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 (...)
    Direct download (4 more)  
    Export citation  
    My bibliography  
  46. 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  
  47. Irving M. Copi (1972/1971). Readings on Logic. New York,Macmillan.
  48. 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..
  49. David Bostock (1997). Intermediate Logic. Oxford University Press.
    Intermediate Logic is an ideal text for anyone who has taken a first course in logic and is progressing to further study. It examines logical theory, rather than the applications of logic, and does not assume any specific technical grounding. The author introduces and explains each concept and term, ensuring readers have a firm foundation for study. He provides a broad, deep understanding of logic by adopting and comparing a variety of different methods and approaches.
  50. Jon Barwise (1987). The Liar: An Essay on Truth and Circularity. Oxford University Press.
    Bringing together powerful new tools from set theory and the philosophy of language, this book proposes a solution to one of the few unresolved paradoxes from antiquity, the Paradox of the Liar. Treating truth as a property of propositions, not sentences, the authors model two distinct conceptions of propositions: one based on the standard notion used by Bertrand Russell, among others, and the other based on J.L. Austin's work on truth. Comparing these two accounts, the authors show that while the (...)
  51. 1 — 50 / 221