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.

Settings


 Area(s)

 Offer type

 Sort by
($)
 Max price
% off
 Min discount

 Min year

 Added since

 Pro authors only

 

1 — 50 / 234
  1. R. L. Goodstein (1971). Development of Mathematical Logic. London,Logos Press.
  2. Burnett Meyer (1974). An Introduction to Axiomatic Systems. Boston,Prindle, Weber & Schmidt.
  3. 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 ...
  4. J. E. J. Altham (1971). The Logic of Plurality. London,Methuen.
  5. Stephan Körner (1970). Categorial Frameworks. Oxford,Blackwell.
  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. Benson Mates (1972). Elementary Logic. New York,Oxford University Press.
  8. Harry R. Lewis (1979). Unsolvable Classes of Quantificational Formulas. Addison-Wesley Pub. Co..
  9. 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  
  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. Richard C. Jeffrey (2004). Formal Logic: Its Scope and Limits. Hackett Pub..
    This brief paperback is designed for symbolic/formal logic courses. It features the tree method proof system developed by Jeffrey. The new edition contains many more examples and exercises and is reorganized for greater accessibility.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   28 citations  
  12. 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 ...
  13. Irving M. Copi (2008). Introduction to Logic. Pearson/Prentice Hall.
  14. Lionel Ruby (1974). The Art of Making Sense. Philadelphia,Lippincott.
  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. Marian David (1994). Correspondence and Disquotation: An Essay on the Nature of Truth. Oxford University Press.
    Marian David defends the correspondence theory of truth against the disquotational theory of truth, its current major rival. The correspondence theory asserts that truth is a philosophically rich and profound notion in need of serious explanation. Disquotationalists offer a radically deflationary account inspired by Tarski and propagated by Quine and others. They reject the correspondence theory, insist truth is anemic, and advance an "anti-theory" of truth that is essentially a collection of platitudes: "Snow is white" is true if and only (...)
  17. 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  
  18. Marian Przełęcki (1969). The Logic of Empirical Theories. Routledge & Kegan Paul.
  19. 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 ggweb.stanford.edu._ 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  
  20. Henry Siggins Leonard (1967). Principles of Reasoning. New York, Dover Publications.
  21. 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  
  22. Brian Skyrms (1975). Choice and Chance: An Introduction to Inductive Logic. Dickenson Pub. Co..
  23. 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 ...
  24. 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.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography   6 citations  
  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. W. Edgar Moore (1967). Creative and Critical Thinking. Boston, Houghton Mifflin.
  27. 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  
  28. Wilbur Samuel Howell (1971). Eighteenth-Century British Logic and Rhetoric. Princeton,Princeton University Press.
  29. 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  
  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. 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, (...)
  32. 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  
  33. 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  
  34. Ludwig Wittgenstein (1973). Letters to C. K. Ogden with Comments on the English Translation of the Tractatus Logico-Philosophicus. Boston,Routledge & K. Paul.
  35. 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. (...)
  36. 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.
  37. G. H. von Wright (ed.) (1980). Logic and Philosophy. Distribution for the U.S. And Canada, Kluwer Boston.
  38. 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
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  39. 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 (...)
  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.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  41. J. L. Mackie (1973). Truth, Probability and Paradox: Studies in Philosophical Logic. Oxford,Clarendon Press.
  42. Alex C. Michalos (1969). Principles of Logic. Englewood Cliffs, N.J.,Prentice-Hall.
  43. 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.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  44. J. P. Cleave & Stephan Körner (eds.) (1976). Philosophy of Logic: Papers and Discussions. University of California Press.
  45. 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.
  46. Irving M. Copi (1973). Symbolic Logic. New York,Macmillan.
  47. 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.
  48. 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;- (...)
  49. 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 (...)
  50. Irving M. Copi (1972). Readings on Logic. New York,Macmillan.
  51. 1 — 50 / 234