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 / 195
  1. Evert Willem Beth (1970). Aspects of Modern Logic. Dordrecht,Reidel.
  2. Leigh S. Cauman (1998). First-Order Logic: An Introduction. Walter De Gruyter.
    Introduction This is an elementary logic book designed for people who have no technical familiarity with modern logic but who have been reasoning, ...
  3. Alessandro Andretta, Keith Kearnes & Domenico Zambella (eds.) (2008). Logic Colloquium 2004: Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, Held in Torino, Italy, July 25-31, 2004. [REVIEW] Cambridge University Press.
    Highlights of this volume from the 2004 Annual European Meeting of the Association for Symbolic Logic (ASL) include a tutorial survey of the recent highpoints of universal algebra, written by a leading expert; explorations of foundational questions; a quartet of model theory papers giving an excellent reflection of current work in model theory, from the most abstract aspect "abstract elementary classes" to issues around p-adic integration.
  4. H. Jerome Keisler (1971). Model Theory for Infinitary Logic. Amsterdam,North-Holland Pub. Co..
    Provability, Computability and Reflection.
  5. Dave Barker-Plummer (2011). Language, Proof, and Logic. Csli Publications.
  6. Irving M. Copi (1973/1968). Symbolic Logic. New York,Macmillan.
  7. 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 ...
  8. 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.
  9. Donald Davidson (1975). The Logic of Grammar. Dickenson Pub. Co..
  10. R. Carnap & R. Jeffrey (eds.) (1971). Studies in Inductive Logic and Probability. University of California Press.
    Introduction Much delayed, here is the second, final volume of Studies in Inductive Logic and Probability. Carnap projected the series ca. as a ...
    Translate to English
    | Direct download (2 more)  
    My bibliography  
    Export citation  
  11. 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..
  12. Brian Skyrms (1975). Choice and Chance: An Introduction to Inductive Logic. Dickenson Pub. Co..
  13. Benson Mates (1972). Elementary Logic. New York,Oxford University Press.
  14. Chin-Liang Chang (1973/1987). Symbolic Logic and Mechanical Theorem Proving. Academic Press.
    This book contains an introduction to symbolic logic and a thorough discussion of mechanical theorem proving and its applications. The book consists of three major parts. Chapters 2 and 3 constitute an introduction to symbolic logic. Chapters 4–9 introduce several techniques in mechanical theorem proving, and Chapters 10 an 11 show how theorem proving can be applied to various areas such as question answering, problem solving, program analysis, and program synthesis.
  15. Aladdin M. Yaqub (1993). The Liar Speaks the Truth: A Defense of the Revision Theory of Truth. OUP USA.
    In this book Yaqub describes a simple conception of truth and shows that it yields a semantical theory that accommodates the whole range of our seemingly conflicting intuitions about truth. This conception takes the Tarskian biconditionals (such as "The sentence `Johannes loved Clara' is true if and only if Johannes loved Clara") as correctly and completely defining the notion of truth. The semantical theory, which is called the revision theory, that emerges from this conception paints a metaphysical picture of truth (...)
  16. 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 (...)
  17. 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 (...)
  18. Aleksandr Zinoviev (1973). Foundations of the Logical Theory of Scientific Knowledge (Complex Logic). Dordrecht,Reidel.
  19. Andrea Nye (1990). Words of Power: A Feminist Reading of the History of Logic. Routledge.
    Is logic masculine? Is women's lack of interest in the "hard core" philosophical disciplines of formal logic and semantics symptomatic of an inadequacy linked to sex? Is the failure of women to excel in pure mathematics and mathematical science a function of their inability to think rationally? Andrea Nye undermines the assumptions that inform these questions, assumptions such as: logic is unitary, logic is independenet of concrete human relations, and logic transcends historical circumstances as well as gender. In a series (...)
    Direct download  
    My bibliography  
    Export citation  
  20. 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 (...)
  21. Aladdin Mahmūd Yaqūb (1993). The Liar Speaks the Truth: A Defense of the Revision Theory of Truth. Oxford University Press.
    In this book, Yaqub describes a simple conception of truth and shows that it yields a semantical theory that accommodates the whole range of our seemingly conflicting intuitions about truth. This conception takes the Tarskian biconditionals (such as "The sentence 'Johannes loved Clara' is true if and only if Johannes loved Clara") as correctly and completely defining the notion of truth. The semantical theory, which is called the revision theory, that emerges from this conception paints a metaphysical picture of truth (...)
  22. 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.
  23. Holger H. Hoos & David G. Mitchell (eds.) (2005). Theory and Applications of Satisfiability Testing: 7th International Conference, Sat 2004, Vancouver, Bc, Canada, May 10-13, 2004: Revised Selected Papers. [REVIEW] Springer.
    This book constitutes the refereed proceedings of the 7th International Conference on Theory and Applications of Satisfiability Testing, SAT 2004, held in Vancouver, BC, Canada in May 2004. The 24 revised full papers presented together with 2 invited papers were carefully selected from 72 submissions. In addition there are 2 reports on the 2004 SAT Solver Competition and the 2004 QBF Solver Evaluation. The whole spectrum of research in propositional and quantified Boolean formula satisfiability testing is covered; bringing together the (...)
  24. R. E. Jennings (1994). The Genealogy of Disjunction. Oxford University Press.
    This is a comprehensive study of the English word 'or', and the logical operators variously proposed to present its meaning. Although there are indisputably disjunctive uses of or in English, it is a mistake to suppose that logical disjunction represents its core meaning. 'Or' is descended from the Anglo-Saxon word meaning second, a form which survives in such expressions as "every other day." Its disjunctive uses arise through metalinguistic applications of an intermediate adverbial meaning which is conjunctive rather than disjunctive (...)
  25. Alfred Tarski (1994). Introduction to Logic and to the Methodology of the Deductive Sciences. Oxford University Press.
    Now in its fourth edition, this classic work clearly and concisely introduces the subject of logic and its applications. The first part of the book explains the basic concepts and principles which make up the elements of logic. The author demonstrates that these ideas are found in all branches of mathematics, and that logical laws are constantly applied in mathematical reasoning. The second part of the book shows the applications of logic in mathematical theory building with concrete examples that draw (...)
  26. 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 (...)
  27. Palle Yourgrau (ed.) (1990). Demonstratives. Oxford University Press.
  28. Robert C. Koons (1992). Paradoxes of Belief and Strategic Rationality. Cambridge University Press.
    The purpose of this book is to develop a framework for analyzing strategic rationality, a notion central to contemporary game theory, which is the formal study of the interaction of rational agents, and which has proved extremely fruitful in economics, political theory, and business management. The author argues that a logical paradox (known since antiquity as "the Liar paradox") lies at the root of a number of persistent puzzles in game theory, in particular those concerning rational agents who seek to (...)
  29. Richard B. Angell (2002). A-Logic. University Press of America.
    A-LOGIC is a full-length book (600+ pg). It functions as a system of logic designed to: 1) solve the standard paradoxes and major problems of standard mathematical logic; 2) minimize that logic's anomalies with respect to ordinary language, yet; 3) prove that all theorems in mathematical logic are tautologies. It covers lst order logic the logic of the words "and", "or", "not", "all" and "some". But it also has a non truth functional "if...then" and differs in its definition of validity, (...)
  30. Ayda I. Arruda, R. Chuaqui & Newton C. A. Costdaa (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)  
    My bibliography  
    Export citation  
  31. Roy Dowsing (1986). A First Course in Formal Logic and its Applications in Computer Science. Blackwell Scientific Publications.
  32. Christopher S. Hill (2002). Thought and World: An Austere Portrayal of Truth, Reference, and Semantic Correspondence. Cambridge University Press.
    There is an important family of semantic notions that are applied to thoughts and to the conceptual constituents of thoughts--as when one says that the thought that the Universe is expanding is true. Christopher Hill presents a theory of the content of such notions. That theory is largely deflationary in spirit. It represents a broad range of semantic notions free from substantive metaphysical and empirical presuppositions. He also explains the relationship of mirroring or semantic correspondence linking thoughts to reality.
  33. J. Väänänen (2007). Dependence Logic: A New Approach to Independence Friendly Logic. Cambridge University Press.
    Dependence is a common phenomenon, wherever one looks: ecological systems, astronomy, human history, stock markets - but what is the logic of dependence? This book is the first to carry out a systematic logical study of this important concept, giving on the way a precise mathematical treatment of Hintikka’s independence friendly logic. Dependence logic adds the concept of dependence to first order logic. Here the syntax and semantics of dependence logic are studied, dependence logic is given an alternative game theoretic (...)
  34. J. C. Beall & B. Armour-Garb (eds.) (2006). 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. Vladimir V. Rybakov (1997). Admissibility of Logical Inference Rules. Elsevier.
    The aim of this book is to present the fundamental theoretical results concerning inference rules in deductive formal systems. Primary attention is focused on: admissible or permissible inference rules the derivability of the admissible inference rules the structural completeness of logics the bases for admissible and valid inference rules. There is particular emphasis on propositional non-standard logics (primary, superintuitionistic and modal logics) but general logical consequence relations and classical first-order theories are also considered. The book is basically self-contained and special (...)
  36. Charles Parsons (1983). Mathematics in Philosophy: Selected Essays. Cornell University Press.
    This important book by a major American philosopher brings together eleven essays treating problems in logic and the philosophy of mathematics.
  37. C. Stephen Layman (2001). The Power of Logic. Mayfield Pub..
    Intended for the first course in logic, The Power of Logic (POL) is written with the conviction that logic is the most important course that college students take. POL preserves the balance between informal and formal logic. Layman;s direct and accessible writing style, along with his plentiful examples, imaginative exercises, and POL;s accompanying Logic Tutor make this the best text for logic classes
    Direct download  
    My bibliography  
    Export citation  
  38. Wilbur Samuel Howell (1971). Eighteenth-Century British Logic and Rhetoric. Princeton,Princeton University Press.
  39. Colin McGinn (2000). Logical Properties: Identity, Existence, Predication, Necessity, Truth. Oxford University Press.
    Identity, existence, predication, necessity, and truth are vital concepts at the center of philosophy. Yet Colin McGinn believes that orthodox views of these topics are misguided in important ways. Philosophers and logicians have often distorted the nature of these concepts in an attempt to define them according to preconceived ideas. Logical Properties aims to respect the ordinary ways we talk and think when we employ these concepts, while at the same time showing that they are far more interesting and peculiar (...)
  40. 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.
  41. 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 (...)
  42. Jerry Seligman & Dag Westerståhl (eds.) (1996). Logic, Language and Computation. Csli Publications, Stanford.
  43. Stan Baronett (2008). Logic. Pearson Prentice Hall.
    Logic and truth -- Inferences : assessment, recognition, and reconstruction -- Categorical statements and inferences -- Truth-functional statements -- Truth tables and proofs -- Natural deduction -- The logic of quantifiers -- Logic and language -- Applied inductive analysis.
  44. Harwood Fisher (2008). Self, Logic, and Figurative Thinking. Columbia University Press.
    Introduction: Major terms, their classification, and their relation to the book's objective -- The problem of analogous forms -- Natural logic, categories, and the individual -- Shift to individual categories, dynamics, and a psychological look at identity form versus function -- What is the difference between the logic governing a figure of speech and the logic that is immature or unconscious? -- What are the role and function of the self vis-à-vis consciousness? -- Development in the logic from immature to (...)
  45. Paul Tomassi (1999). Logic. Routledge.
    Logic brings elementary logic out of the academic darkness into the light of day. Paul Tomassi makes logic fully accessible for anyone trying to come to grips with the complexities of this challenging subject. This book is written in a patient and user-friendly way which makes both the nature and value of formal logic crystal clear. This textbook proceeds from a frank, informal introduction to fundamental logical notions to a system of formal logic rooted in the best of our natural (...)
  46. Wolfgang Rautenberg (2006). A Concise Introduction to Mathematical Logic. Springer.
    Traditional logic as a part of philosophy is one of the oldest scientific disciplines. Mathematical logic, however, is a relatively young discipline and arose from the endeavors of Peano, Frege, Russell and others to create a logistic foundation for mathematics. It steadily developed during the 20th century into a broad discipline with several sub-areas and numerous applications in mathematics, informatics, linguistics and philosophy. While there are already several well-known textbooks on mathematical logic, this book is unique in that it is (...)
  47. Douglas N. Walton (1996). Argumentation Schemes for Presumptive Reasoning. L. Erlbaum Associates.
    This book identifies 25 argumentation schemes for presumptive reasoning and matches a set of critical questions to each.
  48. Robert Stalnaker (2003). Ways a World Might Be: Metaphysical and Anti-Metaphysical Essays. Oxford University Press.
    Robert Stalnaker draws together in this volume his seminal work in metaphysics. The central theme is the role of possible worlds in articulating our various metaphysical commitments. The book begins with reflections on the general idea of a possible world, and then uses the framework of possible worlds to formulate and clarify some questions about properties and individuals, reference, thought, and experience. The essays also reflect on the nature of metaphysics, and on the relation between questions about what there is (...)
  49. Robert J. Fogelin (1991). Understanding Arguments: An Introduction to Informal Logic. Harcourt Brace Jovanovich.
  50. J. C. Beall (ed.) (2007). Revenge of the Liar: New Essays on the Paradox. Oxford University Press.
    The Liar paradox raises foundational questions about logic, language, and truth (and semantic notions in general). A simple Liar sentence like 'This sentence is false' appears to be both true and false if it is either true or false. For if the sentence is true, then what it says is the case; but what it says is that it is false, hence it must be false. On the other hand, if the statement is false, then it is true, since it (...)
  51. 1 — 50 / 195