Fascinating study considers the origins and nature of mathematics, its development and role in the history of scientific thinking, impact of high-speed computers, 20th-century changes in the foundations of mathematics and mathematical logic, mathematization of science and technology, much more. Compe... read more
Customers who bought this book also bought:
Our Editors also recommend:
A Concise History of Mathematics: Fourth Revised Edition by Dirk J. Struik Compact, well-written survey ranges from the ancient Near East to 20th-century computer theory, covering Archimedes, Pascal, Gauss, Hilbert, and many others. "A work which is unquestionably one of the best." — Nature.
A Source Book in Mathematics by David Eugene Smith The writings of Newton, Leibniz, Pascal, Riemann, Bernoulli, and others in a comprehensive selection of 125 treatises dating from the Renaissance to the late 19th century — most unavailable elsewhere.
Discovering Mathematics: The Art of Investigation by A. Gardiner With puzzles involving coins, postage stamps, and other commonplace items, readers are challenged to explain perplexing mathematical phenomena. Simple methods are employed to capture the essentials of mathematical discovery. Solutions.
Topoi: The Categorial Analysis of Logic by Robert Goldblatt A classic exposition of a branch of mathematical logic that uses category theory, this text is suitable for advanced undergraduates and graduate students and accessible to both philosophically and mathematically oriented readers.
Satan, Cantor and Infinity: Mind-Boggling Puzzles by Raymond M. Smullyan A renowned mathematician tells stories of knights and knaves in an entertaining look at the logical precepts behind infinity, probability, time, and change. Requires a strong background in mathematics. Complete solutions.
Foundations of Mathematical Logic by Haskell B. Curry Comprehensive graduate-level account of constructive theory of first-order predicate calculus covers formal methods: algorithms and epitheory, brief treatment of Markov's approach to algorithms, elementary facts about lattices, logical connectives, more. 1963 edition.
Introduction to Elementary Mathematical Logic by A. A. Stolyar Lucid, accessible exploration of propositional logic, propositional calculus, and predicate logic. Topics include computer science and systems analysis, linguistics, and problems in the foundations of mathematics. 1970 edition.
What Is Mathematical Logic? by J. N. Crossley, C.J. Ash, C.J. Brickhill, J.C. Stillwell A serious introductory treatment geared toward non-logicians, this survey traces the development of mathematical logic from ancient to modern times and discusses the work of Planck, Einstein, Bohr, Pauli, Heisenberg, Dirac, and others. 1972 edition.
Undecidable Theories: Studies in Logic and the Foundation of Mathematics by Alfred Tarski, Andrzej Mostowski, Raphael M. Robinson This well-known book by the famed logician consists of three treatises: "A General Method in Proofs of Undecidability," "Undecidability and Essential Undecidability in Mathematics," and "Undecidability of the Elementary Theory of Groups." 1953 edition.
First Course in Mathematical Logic by Patrick Suppes, Shirley Hill Rigorous introduction is simple enough in presentation and context for wide range of students. Symbolizing sentences; logical inference; truth and validity; truth tables; terms, predicates, universal quantifiers; universal specification and laws of identity; more.
Concepts of Modern Mathematics by Ian Stewart In this charming volume, a noted English mathematician uses humor and anecdote to illuminate the concepts of groups, sets, subsets, topology, Boolean algebra, and other mathematical subjects. 200 illustrations.
Fascinating study considers the origins and nature of mathematics, its development and role in the history of scientific thinking, impact of high-speed computers, 20th-century changes in the foundations of mathematics and mathematical logic, mathematization of science and technology, much more. Compelling reading for anyone interested in the evolution of mathematical thought. Includes 34 illustrations. 1968 edition.
Reprint of Mathematics and Logic: Retrospect and Prospects, Frederick A. Praeger, New York, 1968.
This book was printed in the United States of America.
Dover books are made to last a lifetime. Our US book-manufacturing partners produce the highest quality books in the world and they create jobs for our fellow citizens. Manufacturing in the United States also ensures that our books are printed in an environmentally friendly fashion, on paper sourced from responsibly managed forests.