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 / 232
  1. R. L. Goodstein (1971). Development of Mathematical Logic. London,Logos Press.
  2. J. E. J. Altham (1971). The Logic of Plurality. London,Methuen.
  3. Burnett Meyer (1974). An Introduction to Axiomatic Systems. Boston,Prindle, Weber & Schmidt.
  4. Marian Przełęcki (1969). The Logic of Empirical Theories. Routledge & Kegan Paul.
  5. 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  
  6. 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  
  7. Ayda I. Arruda, Newton C. A. Costa & R. Chuaqui (eds.) (1977). Non-Classical Logics, Model Theory, and Computability: Proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976. [REVIEW] Sale Distributors for the U.S.A. And Canada, Elsevier/North-Holland.
  8. Lionel Ruby (1974). The Art of Making Sense. Philadelphia,Lippincott.
  9. Harry R. Lewis (1979). Unsolvable Classes of Quantificational Formulas. Addison-Wesley Pub. Co..
  10. Howard Pospesel (1974). Propositional Logic. Englewood Cliffs, N.J.,Prentice-Hall.
  11. 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  
  12. 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 ...
  13. Peter Long (2001). Logic, Form, and Grammar. Routledge.
    This work contains Peter Long's important essay, Logic, Form and Grammar , which resolves many difficulties for the logical form of an argument where the reasoning is hypothetical. Also included are two essays on classical problems in philosophical logic, relating to logical form and formal relations.
    Direct download (4 more)  
    Export citation  
    My bibliography  
  14. 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  
  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. Herbert B. Enderton (1972). A Mathematical Introduction to Logic. New York,Academic Press.
    A Mathematical Introduction to Logic, Second Edition, offers increased flexibility with topic coverage, allowing for choice in how to utilize the textbook in a course. The author has made this edition more accessible to better meet the needs of today's undergraduate mathematics and philosophy students. It is intended for the reader who has not studied logic previously, but who has some experience in mathematical reasoning. Material is presented on computer science issues such as computational complexity and database queries, with additional (...)
    Direct download (3 more)  
    Export citation  
    My bibliography   64 citations  
  17. Henry Siggins Leonard (1967). Principles of Reasoning. New York, Dover Publications.
  18. 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  
  19. Stephan Körner (1970). Categorial Frameworks. Oxford,Blackwell.
  20. 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  
  21. Benson Mates (1972). Elementary Logic. New York,Oxford University Press.
  22. 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  
  23. Brian Skyrms (1975). Choice and Chance: An Introduction to Inductive Logic. Dickenson Pub. Co..
  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. 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 (...)
  26. 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  
  27. 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 (...)
    Direct download (2 more)  
    Export citation  
    My bibliography  
  28. Jerome E. Bickenbach & Jacqueline M. Davies (1996). Good Reasons for Better Arguments: An Introduction to the Skills and Values of Critical Thinking. Broadview Press.
    This text introduces university students to the philosophical ethos of critical thinking, as well as to the essential skills required to practice it. The authors believe that Critical Thinking should engage students with issues of broader philosophical interest while they develop their skills in reasoning and argumentation. The text is informed throughout by philosophical theory concerning argument and communication—from Aristotle's recognition of the importance of evaluating argument in terms of its purpose to Habermas's developing of the concept of communicative rationality. (...)
    Direct download (2 more)  
    Export citation  
    My bibliography   1 citation  
  29. 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.
  30. 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  
  31. W. Edgar Moore (1967). Creative and Critical Thinking. Boston, Houghton Mifflin.
  32. 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 ...
  33. 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 ...
  34. 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 (...)
  35. 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 ...
  36. 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 ...
  37. 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.
  38. G. H. von Wright (ed.) (1980). Logic and Philosophy. Distribution for the U.S. And Canada, Kluwer Boston.
  39. J. P. Cleave & Stephan Körner (eds.) (1976). Philosophy of Logic: Papers and Discussions. University of California Press.
  40. 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  
  41. 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  
  42. 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.
  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. 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 (...)
  45. 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.
  46. 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.
  47. Irving M. Copi (1972/1971). Readings on Logic. New York,Macmillan.
  48. Irving M. Copi (1973/1968). Symbolic Logic. New York,Macmillan.
  49. 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 (...)
  50. Charles S. Chihara (1973). Ontology and the Vicious-Circle Principle. Ithaca [N.Y.]Cornell University Press.
  51. 1 — 50 / 232