Alibris: Proof theory

AUDIOBOOKS | NEW BOOKS OF NOTE | BARGAIN BOOKS | Find a seller

» advanced search

Save on a few of their favorite things: Give bargain books

Get your gifts by December 24: Learn how

browse BOOKS

Page 1 of 4

sort by

1	Analysis with an Introduction to Proof more books like this by Steven R Lay add to wishlist For courses in undergraduate Analysis (an easy one) and Transition to Advanced Mathematics. This text helps fill in the groundwork students need to succeed in real analysis--often considered the most difficult course in the undergraduate curriculum. By introducing logic and by emphasizing the structure and nature of the arguments used, Lay helps ... see all copies from $10.23! new only from $57.37! \| SVS
2	How to Read and Do Proofs: An Introduction to Mathematical Thought Processes more books like this by Daniel Solow add to wishlist 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 $1.99! new only from $36.08! \| first editions
3	Q.E.D.: Beauty in Mathematical Proof more books like this by Burkard Polster add to wishlist 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 $3.66! new only from $9.18! \| SVS
4	Math Proofs Demystified more books like this by Stan Gibilisco add to wishlist Almost every student has to study some sort of mathematical proofs, whether it be in geometry, trigonometry, or with higher-level topics. In addition, mathematical theorems have become an interesting course for many students outside of the mathematical arena, purely for the reasoning and logic that is needed to complete them. Therefore, it is not ... see all copies from $4.66! new only from $4.67!
5	Mathematical Proofs: A Transition to Advanced Mathematics more books like this by Gary Chartrand, Albert D Polimeni, Ping Zhang add to wishlist Mathematical Proofs: A Transition to Advanced Mathematics, Second Edition, prepares students for the more abstract mathematics courses that follow calculus. This text introduces students to proof techniques and writing proofs of their own. As such, it is an introduction to the mathematics enterprise, providing solid introductions to relations, ... see all copies from $19.51! new only from $39.30! \| SVS
6	The Nuts and Bolts of Proofs: An Introduction to Mathematical Proofs more books like this by Antonella Cupillari add to wishlist "The Nuts and Bolts of Proof" instructs students on the basic logic of mathematical proofs, showing how and why proofs of mathematical statements work. It provides them with techniques they can use to gain an inside view of the subject, reach other results, remember results more easily, or rederive them if the results are forgotten. A flow chart ... see all copies from $31.71! new only from $31.71! \| first editions \| SVS
7	An Introduction to Mathematical Reasoning more books like this by Peter Eccles add to wishlist The purpose of this book is to introduce the basic ideas of mathematical proof to students embarking on university mathematics. The emphasis is on helping the reader in understanding and constructing proofs and writing clear mathematics. This is achieved by exploring set theory, combinatorics and number theory, topics which include many ... see all copies from $34.42! new only from $34.42! \| SVS
8	Tracking Reason: Proof, Consequence, and Truth more books like this by Jody Azzouni add to wishlist When ordinary people - mathematicians among them - take something to follow (deductively) 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, ... see all copies from $10.00! new only from $15.93! \| first editions
9	The Nuts and Bolts of Proofs more books like this by Antonella Cupillari add to wishlist This book leads readers through a progressive explanation of what mathematical proofs are, why they are important, and how they work, along with a presentation of basic techniques used to construct proofs. The Second Edition presents more examples, more exercises, a more complete treatment of mathematical induction and set theory, and it ... see all copies from $8.00! new only from $50.51! \| first editions
10	Journey Into Mathematics: An Introduction to Proofs more books like this by Joseph J Rotman add to wishlist The book is designed for self study or "bridge courses" that prepare students finishing calculus for first courses in real variables and abstract algebra.Prompting students to do mathematics, not merely read about it, this interesting and uniquely enjoyable text prepares students for reading and writing proofs by having them do just that at the ... see all copies from $7.55! new only from $7.55! \| first editions \| SVS
11 view cover	Mathematical Reasoning: Writing and Proof more books like this by Ted Sundstrom add to wishlist For one-semester courses in Transition to Advanced Mathematics that emphasize the construction and writing of mathematical proofs. Focusing on the formal development of mathematics, this text teaches students how to read and understand mathematical proofs and to construct and write mathematical proofs. Developed as a text for a writing course ... see all copies from $45.99! new only from $59.98!
12 view cover	Proofs and Fundamentals: A First Course in Abstract Mathematics more books like this by Ethan D Bloch add to wishlist This text is designed as a "transition" textbook to introduce undergraduates to the writing of vigorous mathematical proofs, and to such fundamental mathematical ideas as sets, functions, relations, and cardinality. It serves as a bridge between computational courses, e.g. calculus, and more theoretical, proofs-oriented courses such as linear ... see all copies from $23.82! new only from $38.19! \| SVS
13 view cover	Numbers and Proofs more books like this by Reg Allenby add to wishlist 'Numbers and Proofs' presents a gentle introduction to the notion of proof to give the reader an understanding of how to decipher others' proofs as well as construct their own. Useful methods of proof are illustrated in the context of studying problems concerning mainly numbers (real, rational, complex and integers). An indispensable guide to all ... see all copies from $43.01! new only from $43.01! \| SVS
14 view cover	The Moment of Proof more books like this by Donald C Benson add to wishlist When Archimedes, while bathing, suddenly hit upon the principle of buoyancy, he ran wildly through the streets of Syracuse, stark naked, crying "eureka!" In The Moment of Proof, Donald Benson attempts to convey to general readers the feeling of eureka--the joy of discovery--that mathematicians feel when they first encounter an elegant proof. This ... see all copies from $2.66! new only from $11.95! \| SVS
15 view cover	Metamathematics, Machines, and Godel's Proof more books like this by N Shankar add to wishlist Mathematicians from Leibniz to Hilbert have sought to mechanise the verification of mathematical proofs. Developments arising out of Godel's proof of his incompleteness theorem showed that no computer program could automatically prove true all the theorems of mathematics. In practice, however, there are a number of sophisticated automated ... see all copies from $24.95! new only from $26.95! \| first editions \| SVS
16 view cover	An Accompaniment to Higher Mathematics more books like this by George Exner add to wishlist 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 ... see all copies from $10.09! new only from $10.09! \| first editions \| SVS
17 view cover	The Moment of Proof: Mathematical Epiphanies more books like this by Donald C Benson add to wishlist This text attempts to show the power of mathematics to a readership with a background in only elementary algebra, by presenting in a very accessible form some fundamental proofs, mostly having to do with number theory. The goal is to recreate for the lay reader a facsimile of the pleasure and excitement that mathematicians experience through ... see all copies from $5.98! new only from $22.00! \| first editions
18 view cover	Logic of Provability more books like this by George S Boolos add to wishlist This book, written by one of the most distinguished of contemporary philosophers of mathematics, is a fully rewritten and updated successor to the author's earlier The Unprovability of Consistency (1979). Its subject is the relation between provability and modal logic, a branch of logic invented by Aristotle but much disparaged by philosophers and ... see all copies from $48.82! new only from $48.82! \| first editions \| SVS
19 view cover	Basic Proof Theory more books like this by Anne S Troelstra add to wishlist This introduction to the basic ideas of structural proof theory contains a thorough discussion and comparison of various types of formalization of first-order logic. Examples are given of several areas of application, namely: the metamathematics of pure first-order logic (intuitionistic as well as classical); the theory of logic programming; ... see all copies from $31.25! new only from $36.22! \| SVS
20 view cover	The Age of Alternative Logics: Assessing Philosophy of Logic and Mathematics Today more books like this by Johan Van Benthem (Editor), Gerhard Heinzmann (Editor), Manuel Rebuschi (Editor) add to wishlist In the last century, developments in mathematics, philosophy, physics, computer science, economics and linguistics have proven important for the development of logic. There has been an influx of new ideas, concerns, and logical systems reflecting a great variety of reasoning tasks in the sciences. This volume reflects the multi-dimensional nature ... see all copies from $59.58! new only from $135.75! \| first editions \| SVS
21 view cover	Proof Theory: A Selection of Papers from the Leeds Proof Theory Programme 1990 more books like this by Harold Simmons (Editor), Stanley S Wainer (Editor), Peter Aczel add to wishlist The lecture courses in this work are derived from the SERC 'Logic for IT' Summer School and Conference on Proof Theory held at Leeds University. The contributions come from acknowledged experts and comprise expository and research articles; put together in this book they form an invaluable introduction to proof theory that is aimed at both ... see all copies from $116.46! new only from $116.46! \| SVS
22 view cover	Sets and Proofs more books like this by S Barry Cooper (Editor), John K Truss (Editor), N J Hitchin (Editor) add to wishlist Together, Sets and Proofs and its sister volume Models and Computability will provide readers with a comprehensive guide to the current state of mathematical logic. All the authors are leaders in their fields and are drawn from the invited speakers at 'Logic Colloquium '97' (the major international meeting of the Association of Symbolic Logic). It ... see all copies from $67.30! new only from $67.30!
23 view cover	Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies more books like this by Wilfried Buchholz add to wishlist see all copies from $31.97! new only from $31.97! \| SVS
24 view cover	Axiomatising the logic of computer programming more books like this by R Goldblatt add to wishlist see all copies from $13.90! new only from $13.90! \| SVS
25 view cover	Reductive Logic and Proof-Search: Proof Theory, Semantics, and Control more books like this by David J Pym, Eike Ritter add to wishlist This book is a specialized monograph on the development of the mathematical and computational metatheory of reductive logic and proof-search, areas of logic that are becoming important in computer science. A systematic foundational text on these emerging topics, it includes proof-theoretic, semantic/model-theoretic and algorithmic aspects. The ... see all copies from $44.99! new only from $121.67! \| SVS

Page 1 of 4: 1 2 3 4 Next>

Browse authors

Browse subjects

Our Money-Back Guarantee

We guarantee every item's condition, as described on Alibris. If you are not satisfied that an item is as described, return your purchase for a refund.

	Linear Algebra and Its Applications by David Caldwell Lay see all from $1.99! new only from $37.05!
	Calculus by James Stewart see all from $1.99! new only from $10.91!
	Platonic & Archimedean Solids by Daud Sutton (Illustrator) see all from $5.17! new only from $6.58!
	How to Prove It: A Structured Approach by Daniel J Velleman see all from $9.90! new only from $17.99!
	Advances in Modal Logic, Volume 1 by Marcus Kracht (Editor), Heinrich Wansing (Editor), Michael Zakharyaschev (Editor) see all from $12.43! new only from $26.00!
	Introduction to the Theory of Computation by Michael Sipser see all from $5.98! new only from $33.43!