|
Godel, Escher, Bach: An Eternal Golden Braid
more books like this
by
Douglas R Hofstadter
First published in 1979, this is a genuine interdisciplinary work of nonfiction, with dozens of historical references and subtexts. Critics and reviewers have summed up its meaning in varying ways, yet consistently with praise. A mixture of art, philosophy, music, math, technology, and cognitive science, the book's title only reflects one aspect ...
see all copies
from £4.73!
new only
from £7.35!
|
first editions
|
|
Discrete Mathematics and Its Applications
more books like this
by
Kenneth H Rosen
"Discrete Mathematics and its Applications, Sixth Edition", is intended for one- or two-term introductory discrete mathematics courses taken by students from a wide variety of majors, including computer science, mathematics, and engineering. This renowned best-selling text, which has been used at over 600 institutions around the world, gives a ...
see all copies
from £5.60!
new only
from £27.42!
|
first editions
|
|
Introduction to the Theory of Computation
more books like this
by
Michael Sipser
This market leading text on computational theory provides a mathematical treatment of computer science theory designed around theorems and proofs.
see all copies
from £8.08!
new only
from £25.17!
|
first editions
|
|
Is God a Mathematician?
more books like this
by
Mario Livio
This fascinating exploration of the great discoveries of history's most important mathematicians seeks an answer to the eternal question: Does mathematics hold the key to understanding the mysteries of the physical world? Illustrations throughout.
see all copies
from £6.34!
new only
from £6.34!
|
signed copies
|
|
How to Prove It: A Structured Approach
more books like this
by
Daniel J Velleman
Many students have trouble the first time they take a mathematics course in which proofs play a significant role. This new edition of Velleman's successful text will prepare students to make the transition from solving problems to proving theorems by teaching them the techniques needed to read and write proofs. The book begins with the basic ...
see all copies
from £10.52!
new only
from £15.56!
|
|
Discrete Mathematics
more books like this
by
Richard Johnsonbaugh
For a one- or two-term introductory course in discrete mathematics. Focused on helping students understand and construct proofs and expanding their mathematical maturity, this best-selling text is an accessible introduction to discrete mathematics. Johnsonbaugh's algorithmic approach emphasizes problem-solving techniques. The Seventh Edition ...
see all copies
from £5.58!
new only
from £5.60!
|
first editions
|
|
How to Read and Do Proofs: An Introduction to Mathematical Thought Processes
more books like this
by
Daniel Solow
When engineers, computer scientists, and economists need to learn how to read, think about, and create proofs, they turn to Solow. In order to make the material more relevant, the exercises in each chapter have been revised and expanded. New and more complete discussions are included on how to use a previously-proved proposition in both the ...
see all copies
from £5.60!
new only
from £26.82!
|
first editions
|
|
Introduction to Automata Theory, Languages, and Computation
more books like this
by
John E Hopcroft
It has been more than 20 years since this classic book on formal languages, automata theory, and computational complexity was first published. With this long-awaited revision, the authors continue to present the theory in a concise and straightforward manner, now with an eye out for the practical applications. They have revised this book to make ...
see all copies
from £5.60!
new only
from £46.82!
|
first editions
|
|
Incompleteness: The Proof and Paradox of Kurt Godel
more books like this
by
Rebecca Goldstein, Ph.D.
Considered the 20th century's greatest mathematician, Kurt Godel is the subject of this lucid and accessible study, which explains the significance of his theorems and the remarkable vision behind them, while bringing this eccentric, tortured genius and his world to life.
see all copies
from £6.55!
new only
from £9.34!
|
signed copies
|
first editions
|
|
The Art of Reasoning
more books like this
by
David Kelley
An inviting alternative to traditional texts in introductory logic, The Art of Reasoning is widely acclaimed for its conversational tone and accessible exposition of rigorous logical concepts.
see all copies
from £5.92!
new only
from £28.07!
|
first editions
|
view cover
|
Logistic Regression: A Self-Learning Text
more books like this
by
David G Kleinbaum
This is the second edition of this text on logistic regression methods. As in the first edition, each chapter contains a presentation of its topic in 'lecture-book' format together with objectives, an outline, key formulae, practice exercises, and a test. The 'lecture-book' has a sequence of illustrations and formulae in the left column of each ...
see all copies
from £18.68!
new only
from £49.35!
|
first editions
|
view cover
|
Symbolic logic
more books like this
by
Irving M. Copi
see all copies
from £6.20!
new only
from £21.17!
|
first editions
|
view cover
|
Logic: Techniques of Formal Reasoning
more books like this
by
Donald Kalish, Richard Montague, Gary Mar
Logic: Techniques of Formal Reasoning, 2/e is an introductory volume that teaches students to recognize and construct correct deductions. It takes students through all logical steps--from premise to conclusion--and presents appropriate symbols and terms, while giving examples to clarify principles. Logic, 2/e uses models to establish the ...
see all copies
from £8.10!
new only
from £52.26!
|
first editions
|
view cover
|
Q.E.D.: Beauty in Mathematical Proof
more books like this
by
Burkard Polster
Q.E.D. presents some of the most famous mathematical proofs in a charming book that will appeal to nonmathematicians and math experts alike. Grasp in an instant why Pythagoras's theorem must be correct. Follow the ancient Chinese proof of the volume formula for the frustrating frustum, and Archimedes' method for finding the volume of a sphere. ...
see all copies
from £5.40!
new only
from £5.40!
|
view cover
|
Discrete Mathematics: Mathematical Reasoning and Proof with Puzzles, Patterns, and Games
more books like this
by
Douglas E Ensley, J Winston Crawley
Did you know that games and puzzles have given birth to many of today's deepest mathematical subjects? Now, with Douglas Ensley and Winston Crawley's "Introduction to Discrete Mathematics", you can explore mathematical writing, abstract structures, counting, discrete probability, and graph theory, through games, puzzles, patterns, magic tricks, ...
see all copies
from £43.26!
new only
from £45.99!
|
view cover
|
Philosophical Grammar
more books like this
by
Ludwig Wittgenstein
Wittgenstein wrote the Philosophical Grammar during the years 1931 to 1934 - the period just before he began to dictate the Blue Book. Although it is close to the Investigations in some points, and to the Phiosophische Bemerkungen at others, the Philosophical Grammar is an independent work which covers new ground. It is Wittgenstein's fullest ...
see all copies
from £5.60!
new only
from £5.60!
|
first editions
|
view cover
|
Introduction to Mathematical Structures and Proofs
more books like this
by
Larry J Gerstein
Gerstein wants-very gently-to teach his students to think. He wants to show them how to wrestle with a problem.
see all copies
from £9.25!
new only
from £14.31!
|
first editions
|
view cover
|
Computability and Logic
more books like this
by
George Boolos
This fourth edition of one of the classic logic textbooks has been thoroughly revised by John Burgess. The aim is to increase the pedagogical value of the book for the core market of students of philosophy and for students of mathematics and computer science as well. This book has become a classic because of its accessibility to students without a ...
see all copies
from £4.85!
new only
from £7.41!
|
first editions
|
view cover
|
Naive Set Theory
more books like this
by
Paul R. Halmos
From the Reviews: "...He (the author) uses the language and notation of ordinary informal mathematics to state the basic set-theoretic facts which a beginning student of advanced mathematics needs to know...Because of the informal method of presentation, the book is eminently suited for use as a textbook or for self-study. The reader should derive ...
see all copies
from £13.67!
new only
from £29.26!
|
first editions
|
view cover
|
Languages and machines an introduction to the theory of computer science
more books like this
by
Sudkamp
Languages and Machines, which is intended for computer scientists in the theoretical foundations of their subject, gives a mathematically sound presentation of the theory of computing at the junior and senior level. Topics covered include the theory of formal languages and automata, computability, computational complexity, and deterministic ...
see all copies
from £4.98!
new only
from £57.09!
|
first editions
|
view cover
|
Gödel's proof
more books like this
by
Ernest Nagel, James R Newman
Originally written in 1958, this text clearly explains the tenets and importance of Godel's classic proof, and its influence on mathematics and philosophy.
see all copies
from £6.15!
new only
from £9.02!
|
first editions
|
view cover
|
Philosophy of mathematics; selected readings.
more books like this
by
Paul Benacerraf (Editor), Hilary Putnam
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 ...
see all copies
from £12.49!
new only
from £35.23!
|
first editions
|
view cover
|
An Introduction to Godel's Theorems
more books like this
by
Peter Smith
In 1931, the young Kurt Godel published his First Incompleteness Theorem, which tells us that, for any sufficiently rich theory of arithmetic, there are some arithmetical truths the theory cannot prove. This remarkable result is among the most intriguing (and most misunderstood) in logic. Godel also outlined an equally significant Second ...
see all copies
from £11.77!
new only
from £11.77!
|
view cover
|
Introduction to Logic
more books like this
by
Alfred Tarski, Olaf Helmer (Translator)
This classic undergraduate treatment examines the deductive method in its first part and explores applications of logic and methodology in constructing mathematical theories in its second part. Exercises appear throughout.
see all copies
from £8.19!
new only
from £8.73!
|
view cover
|
A Treatise on Probability
more books like this
by
John Maynard Keynes
Purchase of this book includes free trial access to www.million-books.com where you can read more than a million books for free. This is an OCR edition with typos. Excerpt from book: CHAPTER III THE MEASUREMENT OP PROBABILITIES 1. I Have spoken of probability as being concerned with degrees of rational belief. This phrase implies that it is in ...
see all copies
from £10.38!
new only
from £10.38!
|
first editions
|