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 / 226
  1. J. E. J. Altham (1971). The Logic of Plurality. London,Methuen.
  2. Evert Willem Beth (1970). Aspects of Modern Logic. Dordrecht,Reidel.
  3. Burnett Meyer (1974). An Introduction to Axiomatic Systems. Boston,Prindle, Weber & Schmidt.
  4. 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.
  5. 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.
  6. H. Jerome Keisler (1971). Model Theory for Infinitary Logic. Amsterdam,North-Holland Pub. Co..
    Provability, Computability and Reflection.
  7. Irving M. Copi (1973/1968). Symbolic Logic. New York,Macmillan.
  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 (...)
  9. James B. Freeman (2005). Acceptable Premises: An Epistemic Approach to an Informal Logic Problem. Cambridge University Press.
    When, if ever, is one justified in accepting the premises of an argument? What is the proper criterion of premise acceptability? Providing a comprehensive theory of premise acceptability, this book answers these questions from an epistemological approach that the author calls "common sense foundationalism". His work will be of interest to specialists in informal logic, critical thinking and argumentation theory as well as to a broader range of philosophers and those teaching rhetoric.
    Direct download  
    My bibliography  
    Export citation  
  10. Dave Barker-Plummer (2011). Language, Proof, and Logic. Csli Publications.
  11. Lawrence C. Paulson (1987). Logic and Computation: Interactive Proof with Cambridge Lcf. Cambridge University Press.
    Logic and Computation is concerned with techniques for formal theorem-proving, with particular reference to Cambridge LCF (Logic for Computable Functions). Cambridge LCF is a computer program for reasoning about computation. It combines methods of mathematical logic with domain theory, the basis of the denotational approach to specifying the meaning of statements in a programming language. This book consists of two parts. Part I outlines the mathematical preliminaries: elementary logic and domain theory. They are explained at an intuitive level, giving references (...)
  12. 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.
  13. Stephen Read (1994). Thinking About Logic: An Introduction to the Philosophy of Logic. Oxford University Press.
    In this book, Stephen Read sets out to rescue logic from its undeserved reputation as an inflexible, dogmatic discipline by demonstrating that its technicalities and processes are founded on assumptions which are themselves amenable to philosophical investigation. He examines the fundamental principles of consequence, logical truth and correct inference within the context of logic, and shows that the principles by which we delineate consequences are themselves not guaranteed free from error. Central to the notion of truth is the beguiling issue (...)
  14. Donald Davidson (1975). The Logic of Grammar. Dickenson Pub. Co..
  15. Brian Skyrms (1975). Choice and Chance: An Introduction to Inductive Logic. Dickenson Pub. Co..
  16. Wilbur Samuel Howell (1971). Eighteenth-Century British Logic and Rhetoric. Princeton,Princeton University Press.
  17. Harry R. Lewis (1979). Unsolvable Classes of Quantificational Formulas. Addison-Wesley Pub. Co..
  18. 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.
  19. L. Jonathan Cohen & Mary B. Hesse (eds.) (1980). Applications of Inductive Logic: Proceedings of a Conference at the Queen's College, Oxford 21-24, August 1978. Oxford University Press.
  20. 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.
  21. Melvin Joseph Adler (1980). A Pragmatic Logic for Commands. J. Benjamins.
    The purpose of this essay is to both discuss commands as a species of speech act and to discuss commands within the broader framework of how they are used and ...
    Direct download (2 more)  
    My bibliography  
    Export citation  
  22. 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)  
    My bibliography  
    Export citation  
  23. 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; (...)
  24. 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, (...)
  25. 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 (...)
  26. 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 as correctly and completely defining the notion of truth. He offers a comprehensive defense of the semantical theory by developing consistent and adequate formal semantics for languages in which all sorts of problematic sentences can be constructed. Yaqub concludes by introducing a logic of truth (...)
  27. Dov M. Gabbay & Maarten de Rijke (eds.) (2000). Frontiers of Combining Systems. Research Studies Press.
    The International workshop 'Frontiers of Combining Systems' is the only forum that is exclusively devoted to research efforts in this interdisciplinary area. This volume contains selected, edited papers from the second installment of the workshop. The contributions range from theorem proving, rewriting and logic to systems and constraints. While there is a clear emphasis on automated tools and logics, the contributions to this volume show that there exists a rapidly expanding body of solutions of particular instances of the combination problem, (...)
    Direct download  
    My bibliography  
    Export citation  
  28. 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.
  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. 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..
  31. 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 (...)
  32. 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 ...
    Direct download (3 more)  
    My bibliography  
    Export citation  
  33. G. Hasenjaeger (1972). Introduction to the Basic Concepts and Problems of Modern Logic. Dordrecht-Holland,D. Reidel Pub. Co..
  34. Uwe Schöning (1989). Logic for Computer Scientists. Birkhäuser.
    This book introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, predicate logic, and foundations ...
  35. Aleksandr Zinoviev (1973). Foundations of the Logical Theory of Scientific Knowledge (Complex Logic). Dordrecht,Reidel.
  36. Benson Mates (1972). Elementary Logic. New York,Oxford University Press.
  37. David J. Pym (2004). Reductive Logic and Proof-Search: Proof Theory, Semantics, and Control. Oxford University Press.
    This book is a specialized monograph on the development of the mathematical and computational metatheory of reductive logic and proof-search including proof-theoretic, semantic/model-theoretic and algorithmic aspects. The scope ranges from the conceptual background to reductive logic, through its mathematical metatheory, to its modern applications in the computational sciences.
  38. Alex C. Michalos (1969). Principles of Logic. Englewood Cliffs, N.J.,Prentice-Hall.
  39. 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 (...)
  40. 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 (...)
  41. Lionel Ruby (1960). Logic, an Introduction. Chicago, Lippincott.
  42. Neil Tennant (1987). Anti-Realism and Logic: Truth as Eternal. Oxford University Press.
    Anti-realism is a doctrine about logic, language, and meaning that is based on the work of Wittgenstein and Frege. In this book, Professor Tennant clarifies and develops Dummett's arguments for anti-realism and ultimately advocates a radical reform of our logical practices.
  43. Avron Polakow (ed.) (1981). Tense and Performance: An Essay on the Uses of Tensed and Tenseless Language. Rodopi.
    PREFACE This essay developed from ideas in my doctoral thesis submitted to the Hebrew University in 1977. Chapter three has been amended as regards one of ...
    Direct download (2 more)  
    My bibliography  
    Export citation  
  44. 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.
  45. Kazuo Tanaka (1997). An Introduction to Fuzzy Logic for Practical Applications. Springer.
    Fuzzy logic has become an important tool for a number of different applications ranging from the control of engineering systems to artificial intelligence. In this concise introduction, the author presents a succinct guide to the basic ideas of fuzzy logic, fuzzy sets, fuzzy relations, and fuzzy reasoning, and shows how they may be applied. The book culminates in a chapter which describes fuzzy logic control: the design of intelligent control systems using fuzzy if-then rules which make use of human knowledge (...)
  46. Richard Whately (1827/1975). Elements of Logic. Scholars' Facsimiles & Reprints.
  47. 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.
    Translate to English
    | Direct download (2 more)  
    My bibliography  
    Export citation  
  48. 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 (...)
  49. John Woods (2003). Paradox and Paraconsistency: Conflict Resolution in the Abstract Sciences. Cambridge University Press.
    In a world plagued by disagreement and conflict one might expect that the exact sciences of logic and mathematics would provide a safe harbor. In fact these disciplines are rife with internal divisions between different, often incompatible, systems. Do these disagreements admit of resolution? Can such resolution be achieved without disturbing assumptions that the theorems of logic and mathematics state objective truths about the real world? In this original and historically rich book John Woods explores apparently intractable disagreements in logic (...)
  50. Tom Burke (1994). Dewey's New Logic: A Reply to Russell. University of Chicago Press.
    John Dewey is celebrated for his work in the philosophy of education and acknowledged as a leading proponent of American pragmatism. His philosophy of logic, on the other hand, is largely unheard of. In Dewey's New Logic, Burke analyzes portions of the debate between Dewey and Bertrand Russell that followed the 1938 publication of Dewey's Logic: The Theory of Inquiry. Burke shows how Russell failed to understand Dewey, and how Dewey's philosophy of logic is centrally relevant to contemporary developments in (...)
    Direct download (3 more)  
    My bibliography  
    Export citation  
  51. 1 — 50 / 226