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 / 121
  1. Yehoshua Bar-Hillel (ed.) (1970). Mathematical Logic and Foundations of Set Theory. Amsterdam,North-Holland Pub. Co..
    LN , so f lies in the elementary submodel M'. Clearly co 9 M' . It follows that 6 = {f(n): n em} is included in M'. Hence the ordinals of M' form an initial ...
  2. Austin Marsden Farrer (1979). Finite and Infinite: A Philosophical Essay. Seabury Press.
  3. Paul Ernest (1991). The Philosophy of Mathematics Education. Falmer Press.
  4. Erwin Engeler (ed.) (1995). The Combinatory Programme. Birkhäuser.
  5. Ethan D. Bloch (2000). Proofs and Fundamentals: A First Course in Abstract Mathematics. Birkhäuser.
  6. V. H. Klenk (1976). Wittgenstein's Philosophy of Mathematics. Nijhoff.
  7. Dennis Sentilles (1975). A Bridge to Advanced Mathematics. Baltimore,Williams & Wilkins.
  8. Jody Azzouni (2010). Talking About Nothing: Numbers, Hallucinations, and Fictions. Oxford University Press.
    Numbers -- Hallucinations -- Fictions -- Scientific languages, ontology, and truth -- Truth conditions and semantics.
  9. W. S. Anglin (1996). Mathematics, a Concise History and Philosophy. Springer.
    This is a concise introductory textbook for a one semester course in the history and philosophy of mathematics. It is written for mathematics majors, philosophy students, history of science students and secondary school mathematics teachers. The only prerequisite is a solid command of pre-calculus mathematics. It is shorter than the standard textbooks in that area and thus more accessible to students who have trouble coping with vast amounts of reading. Furthermore, there are many detailed explanations of the important mathematical procedures (...)
    Direct download (2 more)  
    Export citation  
    My bibliography  
  10. Charles Castonguay (1972). Meaning and Existence in Mathematics. New York,Springer-Verlag.
  11. Jody Azzouni (2006). Tracking Reason: Proof, Consequence, and Truth. OUP Usa.
    When ordinary people - mathematicians among them - take something to follow from something else, they are exposing the backbone of our self-ascribed ability to reason. Jody Azzouni investigates the connection between that ordinary notion of consequence and the formal analogues invented by logicians. One claim of the book is that, despite our apparent intuitive grasp of consequence, we do not introspect rules by which we reason, nor do we grasp the scope and range of the domain, as it were, (...)
  12. John Acheson Faris (1964/1966). Quantification Theory. New York, Dover Publications.
  13. Alfred North Whitehead & Bertrand Russell (1962/1997). Principia Mathematica, to *56. Cambridge University Press.
    The great three-volume Principia Mathematica is deservedly the most famous work ever written on the foundations of mathematics. Its aim is to deduce all the fundamental propositions of logic and mathematics from a small number of logical premisses and primitive ideas, and so to prove that mathematics is a development of logic. This abridged text of Volume I contains the material that is most relevant to an introductory study of logic and the philosophy of mathematics (more advanced students will wish (...)
  14. D. S. Bridges (1987). Varieties of Constructive Mathematics. Cambridge University Press.
    This is an introduction to, and survey of, the constructive approaches to pure mathematics. The authors emphasise the viewpoint of Errett Bishop's school, but intuitionism. Russian constructivism and recursive analysis are also treated, with comparisons between the various approaches included where appropriate. Constructive mathematics is now enjoying a revival, with interest from not only logicans but also category theorists, recursive function theorists and theoretical computer scientists. This account for non-specialists in these and other disciplines.
  15. H. Kirchner & Christophe Ringeissen (eds.) (2000). Frontiers of Combining Systems: Third International Workshop, Frocos 2000, Nancy, France, March 22-24, 2000: Proceedings. [REVIEW] Springer.
    This book constitutes the refereed proceedings of the Third International Workshop on Frontiers of Combining Systems, FroCoS 2000, held in Nancy, France, in March 2000.The 14 revised full papers presented together with four invited papers were carefully reviewed and selected from a total of 31 submissions. Among the topics covered are constraint processing, interval narrowing, rewriting systems, proof planning, sequent calculus, type systems, model checking, theorem proving, declarative programming, logic programming, and equational theories.
    Direct download (2 more)  
    Export citation  
    My bibliography  
  16. S. W. P. Steen (1972). Mathematical Logic with Special Reference to the Natural Numbers. Cambridge [Eng.]University Press.
    This book presents a comprehensive treatment of basic mathematical logic. The author's aim is to make exact the vague, intuitive notions of natural number, preciseness, and correctness, and to invent a method whereby these notions can be communicated to others and stored in the memory. He adopts a symbolic language in which ideas about natural numbers can be stated precisely and meaningfully, and then investigates the properties and limitations of this language. The treatment of mathematical concepts in the main body (...)
    Direct download  
    Export citation  
    My bibliography  
  17. J. W. Davis (1969). Philosophical Logic. Dordrecht, D. Reidel.
  18. David S. G. Stirling (2009). Mathematical Analysis and Proof. Horwood Pub..
    This fundamental and straightforward text addresses a weakness observed among present-day students, namely a lack of familiarity with formal proof. Beginning with the idea of mathematical proof and the need for it, associated technical and logical skills are developed with care and then brought to bear on the core material of analysis in such a lucid presentation that the development reads naturally and in a straightforward progression. Retaining the core text, the second edition has additional worked examples which users have (...)
    Direct download (2 more)  
    Export citation  
    My bibliography  
  19. Philip Kitcher (1983). The Nature of Mathematical Knowledge. Oxford University Press.
    This book argues against the view that mathematical knowledge is a priori,contending that mathematics is an empirical science and develops historically,just as ...
  20. George R. Exner (1997). An Accompaniment to Higher Mathematics. Springer.
    This text prepares undergraduate mathematics students to meet two challenges in the study of mathematics, namely, to read mathematics independently and to understand and write proofs. The book begins by teaching how to read mathematics actively, constructing examples, extreme cases, and non-examples to aid in understanding an unfamiliar theorem or definition (a technique famililar to any mathematician, but rarely taught); it provides practice by indicating explicitly where work with pencil and paper must interrupt reading. The book then turns to proofs, (...)
    Direct download (2 more)  
    Export citation  
    My bibliography  
  21. Stephen David Ross (1994). Locality and Practical Judgment: Charity and Sacrifice. Fordham University Press.
    This work completes Ross's trilogy examining the inexhaustible complexity of the world and our relation to our surroundings.
    Direct download  
    Export citation  
    My bibliography  
  22. Philip J. Davis (1995). The Companion Guide to the Mathematical Experience, Study Edition. Birkhäuser.
  23. Edward Nelson (1986). Predicative Arithmetic. Princeton University Press.
  24. O. B. Lupanov (ed.) (2005). Stochastic Algorithms: Foundations and Applications: Third International Symposium, Saga 2005, Moscow, Russia, October 20-22, 2005: Proceedings. [REVIEW] Springer.
    This book constitutes the refereed proceedings of the Third International Symposium on Stochastic Algorithms: Foundations and Applications, SAGA 2005, held in Moscow, Russia in October 2005. The 14 revised full papers presented together with 5 invited papers were carefully reviewed and selected for inclusion in the book. The contributed papers included in this volume cover both theoretical as well as applied aspects of stochastic computations whith a special focus on new algorithmic ideas involving stochastic decisions and the design and evaluation (...)
    Direct download (2 more)  
    Export citation  
    My bibliography  
  25. Chris Hankin (1994). Lambda Calculi: A Guide for the Perplexed. Oxford University Press.
    The lambda-calculus lies at the very foundation of computer science. Besides its historical role in computability theory it has had significant influence on programming language design and implementation, denotational semantics and domain theory. The book emphasizes the proof theory for the type-free lambda-calculus. The first six chapters concern this calculus and cover the basic theory, reduction, models, computability, and the relationship between the lambda-calculus and combinatory logic. Chapter 7 presents a variety of typed calculi; first the simply typed lambda-calculus, then (...)
    Direct download  
    Export citation  
    My bibliography  
  26. Charles S. Chihara (1973). Ontology and the Vicious-Circle Principle. Ithaca [N.Y.]Cornell University Press.
  27. 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.
  28. Daniel O. Dahlstrom, David T. Ozar & Leo Sweeney (eds.) (1981). Infinity. National Office of the American Catholic Philosophical Association, Catholic University of America.
    Direct download  
    Export citation  
    My bibliography  
  29. Jaakko Hintikka (ed.) (1969). The Philosophy of Mathematics. London, Oxford U.P..
  30. Imre Lakatos (1978). Mathematics, Science, and Epistemology. Cambridge University Press.
    Imre Lakatos' philosophical and scientific papers are published here in two volumes. Volume I brings together his very influential but scattered papers on the philosophy of the physical sciences, and includes one important unpublished essay on the effect of Newton's scientific achievement. Volume 2 presents his work on the philosophy of mathematics (much of it unpublished), together with some critical essays on contemporary philosophers of science and some famous polemical writings on political and educational issues.
  31. Douglas M. Jesseph (1993). Berkeley's Philosophy of Mathematics. University of Chicago Press.
    In this first modern, critical assessment of the place of mathematics in Berkeley's philosophy and Berkeley's place in the history of mathematics, Douglas M. Jesseph provides a bold reinterpretation of Berkeley's work.
  32. Paul Benacerraf (1964). Philosophy of Mathematics. Englewood Cliffs, N.J.,Prentice-Hall.
    The present collection brings together in a convenient form the seminal articles in the philosophy of mathematics by these and other major thinkers.
  33. Jody Azzouni (2004). Deflating Existential Commitment: A Case for Nominalism. OUP Usa.
    If we take mathematical statements to be true, then must we also believe in the existence of invisible mathematical objects, accessible only by the power of thought? Jody Azzouni says we do not have to, and claims that the way to escape such a commitment is to accept - as an essential part of scientific doctrine - true statements which are 'about' objects which don't exist in any real sense.
  34. Paul Benacerraf & Hilary Putnam (eds.) (1983). Philosophy of Mathematics: Selected Readings. Cambridge University Press.
    The twentieth century has witnessed an unprecedented 'crisis in the foundations of mathematics', featuring a world-famous paradox (Russell's Paradox), a challenge to 'classical' mathematics from a world-famous mathematician (the 'mathematical intuitionism' of Brouwer), a new foundational school (Hilbert's Formalism), and the profound incompleteness results of Kurt Gödel. In the same period, the cross-fertilization of mathematics and philosophy resulted in a new sort of 'mathematical philosophy', associated most notably (but in different ways) with Bertrand Russell, W. V. Quine, and Gödel himself, (...)
  35. Gary Urton (1997). The Social Life of Numbers: A Quechua Ontology of Numbers and Philosophy of Arithmetic. University of Texas Press.
    Unraveling all the mysteries of the khipu--the knotted string device used by the Inka to record both statistical data and narrative accounts of myths, histories, and genealogies--will require an understanding of how number values and relations may have been used to encode information on social, familial, and political relationships and structures. This is the problem Gary Urton tackles in his pathfinding study of the origin, meaning, and significance of numbers and the philosophical principles underlying the practice of arithmetic among Quechua-speaking (...)
    Direct download (2 more)  
    Export citation  
    My bibliography   1 citation  
  36. John P. Burgess & Gideon A. Rosen (1997). A Subject with No Object: Strategies for Nominalistic Interpretation of Mathematics. Oxford University Press.
    Numbers and other mathematical objects are exceptional in having no locations in space or time or relations of cause and effect. This makes it difficult to account for the possibility of the knowledge of such objects, leading many philosophers to embrace nominalism, the doctrine that there are no such objects, and to embark on ambitious projects for interpreting mathematics so as to preserve the subject while eliminating its objects. This book cuts through a host of technicalities that have obscured previous (...)
  37. Vladimir Tasić (2001). Mathematics and the Roots of Postmodern Thought. Oxford University Press.
    This is a charming and insightful contribution to an understanding of the "Science Wars" between postmodernist humanism and science, driving toward a resolution of the mutual misunderstanding that has driven the controversy. It traces the root of postmodern theory to a debate on the foundations of mathematics early in the 20th century, then compares developments in mathematics to what took place in the arts and humanities, discussing issues as diverse as literary theory, arts, and artificial intelligence. This is a (...)
  38. Michał Heller & W. H. Woodin (eds.) (2011). Infinity: New Research Frontiers. Cambridge University Press.
    Machine generated contents note: Introduction Rudy Rucker; Part I. Perspectives on Infinity from History: 1. Infinity as a transformative concept in science and theology Wolfgang Achtner; Part II. Perspectives on Infinity from Mathematics: 2. The mathematical infinity Enrico Bombieri; 3. Warning signs of a possible collapse of contemporary mathematics Edward Nelson; Part III. Technical Perspectives on Infinity from Advanced Mathematics: 4. The realm of the infinite W. Hugh Woodin; 5. A potential subtlety concerning the distinction between determinism and nondeterminism W. (...)
  39. Roland Omnès (2004). Converging Realities: Toward a Common Philosophy of Physics and Mathematics. Princeton University Press.
    The philosophical relationship between mathematics and the natural sciences is the subject of Converging Realities, the latest work by one of the leading thinkers on the subject.
  40. A. S. Troelstra (1977). Choice Sequences: A Chapter of Intuitionistic Mathematics. Clarendon Press.
  41. Ludwig Wittgenstein (1978). Remarks on the Foundations of Mathematics. B. Blackwell.
  42. 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.
    Direct download (2 more)  
    Export citation  
    My bibliography  
  43. Hilary Putnam (1979). Mathematics, Matter, and Method. Cambridge University Press.
    Professor Hilary Putnam has been one of the most influential and sharply original of recent American philosophers in a whole range of fields. His most important published work is collected here, together with several new and substantial studies, in two volumes. The first deals with the philosophy of mathematics and of science and the nature of philosophical and scientific enquiry; the second deals with the philosophy of language and mind. Volume one is now issued in a new edition, including an (...)
  44. Thomas Tymoczko (ed.) (1998). New Directions in the Philosophy of Mathematics: An Anthology. Princeton University Press.
    This expanded edition now contains essays by Penelope Maddy, Michael D. Resnik, and William P. Thurston that address the nature of mathematical proofs. The editor has provided a new afterword and a supplemental bibliography of recent work.
  45. Hao Wang (1990). Reflections on Kurt Gödel. A Bradford Book.
    In this first extended treatment of his life and work, Hao Wang, who was in close contact with Godel in his last years, brings out the full subtlety of Godel's ideas and their connection with grand themes in the history of mathematics and ...
  46. Alexander George (ed.) (1994). Mathematics and Mind. Oxford University Press.
    Those inquiring into the nature of mind have long been interested in the foundations of mathematics, and conversely this branch of knowledge is distinctive in that our access to it is purely through thought. A better understanding of mathematical thought should clarify the conceptual foundations of mathematics, and a deeper grasp of the latter should in turn illuminate the powers of mind through which mathematics is made available to us. The link between conceptions of mind and of mathematics has been (...)
  47. 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 (...)
  48. Alexander George (2002). Philosophies of Mathematics. Blackwell Publishers.
    This book provides an accessible, critical introduction to these three projects as it describes and investigates both their philosophical and their mathematical ...
  49. Alonzo Church (1956). Introduction to Mathematical Logic. Princeton, Princeton University Press.
    This book is intended to be used as a textbook by students of mathematics, and also within limitations as a reference work.
  50. Costas Dimitracopoulos (ed.) (2008). Logic Colloquium 2005: Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, Held in Athens, Greece, July 28-August 3, 2005. [REVIEW] Cambridge University Press.
    The Annual European Meeting of the Association for Symbolic Logic, generally known as the Logic Colloquium, is the most prestigious annual meeting in the field. Many of the papers presented there are invited surveys of recent developments. Highlights of this volume from the 2005 meeting include three papers on different aspects of connections between model theory and algebra; a survey of recent major advances in combinatorial set theory; a tutorial on proof theory and modal logic; and a description of Bernay's (...)
    Direct download (2 more)  
    Export citation  
    My bibliography  
  51. 1 — 50 / 121