search for books and compare prices
proof theory matches 87 work(s)
at beginning | displaying 1 to 25 | next 25 >
Jump to start at |
show results in order: alphabetically | oldest to newest | newest to oldest
cover image for 9789814730396
Product Description: This lively introductory text exposes the student in the humanities to the world of discrete mathematics. A problem-solving based approach grounded in the ideas of George Pólya are at the heart of this book. Students learn to handle and solve new problems on their own...read more

Hardcover:

9789814730396 | World Scientific Pub Co Inc, October 31, 2016, cover price $88.00 | About this edition: This lively introductory text exposes the student in the humanities to the world of discrete mathematics.

cover image for 9781107124189
Product Description: Adjudicative tribunals in both criminal and non-criminal cases rely on the concept of the 'burden of proof' to resolve uncertainty about facts. Perhaps surprisingly, this concept remains clouded and deeply controversial. Written by an internationally renowned scholar, this book explores contemporary thinking on the evidential requirements that are critical for all practical decision-making, including adjudication...read more

Hardcover:

9781107124189 | Cambridge Univ Pr, March 2, 2016, cover price $110.00 | About this edition: Adjudicative tribunals in both criminal and non-criminal cases rely on the concept of the 'burden of proof' to resolve uncertainty about facts.

cover image for 9789814641296
Product Description: This book introduces students to the art and craft of writing proofs, beginning with the basics of writing proofs and logic, and continuing on with more in-depth issues and examples of creating proofs in different parts of mathematics, as well as introducing proofs-of-correctness for algorithms...read more

Hardcover:

9789814641296 | World Scientific Pub Co Inc, October 31, 2015, cover price $58.00 | About this edition: This book introduces students to the art and craft of writing proofs, beginning with the basics of writing proofs and logic, and continuing on with more in-depth issues and examples of creating proofs in different parts of mathematics, as well as introducing proofs-of-correctness for algorithms.

Paperback:

9789814641302 | 1 edition (World Scientific Pub Co Inc, October 31, 2015), cover price $24.00 | About this edition: "Chapter five is the shortest but the most interesting and helpful.

Product Description: Making music is fun, but it’s even more fun when you make the musical instruments, too! Readers follow a series of step-by-step instructions to create their own musical instruments, such as bongo drums, tambourines, and guitars. Each step is presented to readers through clear text and detailed photographs...read more

Hardcover:

9780521233194, titled "Cambridge Before Darwin: The Ideal of a Liberal Education, 1800-1860" | Cambridge Univ Pr, July 1, 1981, cover price $42.50 | also contains Cambridge Before Darwin: The Ideal of a Liberal Education, 1800-1860 | About this edition: In this major contribution to the intellectual history of Cambridge University, Dr Garland takes as her main theme the rise of a specific educational ideal in early Victorian Cambridge, how it enjoyed a moment of triumph, and then how it fell under the impact of a new set of challenges.
9780521218795, titled "The Unprovability of Consistency: An Essay in Modal Logic" | Cambridge Univ Pr, September 1, 1978, cover price $49.95 | also contains The Unprovability of Consistency: An Essay in Modal Logic | About this edition: The Unprovability of Consistency is concerned with connections between two branches of logic: proof theory and modal logic.

Paperback:

9781477756430 | Rosen Pub Group, August 7, 2015, cover price $11.75 | About this edition: Making music is fun, but it’s even more fun when you make the musical instruments, too!

Library:

9781477755662 | Rosen Pub Group, August 7, 2015, cover price $27.50 | About this edition: Making music is fun, but it’s even more fun when you make the musical instruments, too!

cover image for 9781107527539
Product Description: This radical, profoundly scholarly book explores the purposes and nature of proof in a range of historical settings. It overturns the view that the first mathematical proofs were in Greek geometry and rested on the logical insights of Aristotle by showing how much of that view is an artefact of nineteenth-century historical scholarship...read more
By Karine Chemla (editor)

Hardcover:

9781107012219 | Cambridge Univ Pr, August 27, 2012, cover price $195.00 | About this edition: This radical, profoundly scholarly book explores the purposes and nature of proof in a range of historical settings.

Paperback:

9781107527539 | Cambridge Univ Pr, May 21, 2015, cover price $54.99 | About this edition: This radical, profoundly scholarly book explores the purposes and nature of proof in a range of historical settings.

cover image for 9781605372228
Product Description: Princess Nina is an extraordinary princess. She is smart, curious, sweet and also a bit wild. One day the king and queen decide they have to go looking for a suitable prince for princess Nina. They invite princes from all over the world: a prince from China, one from France, from Mexico … But not even the prince on the white horse can steel princess Nina’s heart away! The king and queen are at the end of their wits...read more
By Iris Compiet (illustrator)

Hardcover:

9781605372228 | Clavis Pub, April 21, 2015, cover price $16.95 | About this edition: Princess Nina is an extraordinary princess.

Paperback:

9780387112107, titled "Axiomatising the Logic of Computer Programming" | Springer Verlag, March 1, 1982, cover price $20.00 | also contains Axiomatising the Logic of Computer Programming

cover image for 9783110341997
Product Description: After being an open question for sixty years the Tarski conjecture was answered in the affirmative by Olga Kharlampovich and Alexei Myasnikov and independently by Zlil Sela. This book is an examination of the material on the general elementary theory of groups that is necessary to begin to understand the proofs...read more

Hardcover:

9783110341997 | Walter De Gruyter Inc, October 31, 2014, cover price $210.00 | About this edition: After being an open question for sixty years the Tarski conjecture was answered in the affirmative by Olga Kharlampovich and Alexei Myasnikov and independently by Zlil Sela.
9780384040854, titled "Identification and Analysis of Attribute-Cluster-Blocs: A Technique for Use in the Investigation of Behavior in Governance" | Johnson Reprint Corp, December 1, 1970, cover price $22.00 | also contains Identification and Analysis of Attribute-Cluster-Blocs: A Technique for Use in the Investigation of Behavior in Governance

cover image for 9781466564664
Product Description: Although sequent calculi constitute an important category of proof systems, they are not as well known as axiomatic and natural deduction systems. Addressing this deficiency, Proof Theory: Sequent Calculi and Related Formalisms presents a comprehensive treatment of sequent calculi, including a wide range of variations...read more

Hardcover:

9781466564664 | Chapman & Hall, August 20, 2014, cover price $99.95 | About this edition: Although sequent calculi constitute an important category of proof systems, they are not as well known as axiomatic and natural deduction systems.

cover image for 9781107417236
Product Description: This book continues from where the authors' previous book, Structural Proof Theory, ended. It presents an extension of the methods of analysis of proofs in pure logic to elementary axiomatic systems and to what is known as philosophical logic...read more

Hardcover:

9781107008953 | Cambridge Univ Pr, November 21, 2011, cover price $99.99 | About this edition: This book continues from where the authors' previous book, Structural Proof Theory, ended.

Paperback:

9781107417236 | Reprint edition (Cambridge Univ Pr, June 12, 2014), cover price $44.99 | About this edition: This book continues from where the authors' previous book, Structural Proof Theory, ended.

cover image for 9781107694118
Product Description: This book treats bounded arithmetic and propositional proof complexity from the point of view of computational complexity. The first seven chapters include the necessary logical background for the material and are suitable for a graduate course...read more

Hardcover:

9780521517294 | 1 edition (Cambridge Univ Pr, January 25, 2010), cover price $114.00 | About this edition: This book treats bounded arithmetic and propositional proof complexity from the point of view of computational complexity.

Paperback:

9781107694118 | Cambridge Univ Pr, June 5, 2014, cover price $74.99 | About this edition: This book treats bounded arithmetic and propositional proof complexity from the point of view of computational complexity.

The notion of burden of proof and its companion notion of presumption are central to argumentation studies. This book argues that we can learn a lot from how the courts have developed procedures over the years for allocating and reasoning with presumptions and burdens of proof, and from how artificial intelligence has built precise formal and computational systems to represent this kind of reasoning. The book provides a model of reasoning with burden of proof and presumption, based on analyses of many clearly explained legal and non-legal examples. The model is shown to fit cases of everyday conversational argumentation as well as argumentation in legal cases. Burden of proof determines (1) under what conditions an arguer is obliged to support a claim with an argument that backs it up and (2) how strong that argument needs to be to prove the claim in question.

Hardcover:

9781107046627 | Cambridge Univ Pr, June 30, 2014, cover price $89.99 | About this edition: The notion of burden of proof and its companion notion of presumption are central to argumentation studies.

Paperback:

9781107678828 | Cambridge Univ Pr, July 31, 2014, cover price $34.99

Focusing on the formal development of mathematics, this book shows readers how to read, understand, write, and construct mathematical proofs. Uses elementary number theory and congruence arithmetic throughout. Focuses on writing in mathematics. Reviews prior mathematical work with “Preview Activities” at the start of each section. Includes “Activities” throughout that relate to the material contained in each section. Focuses on Congruence Notation and Elementary Number Theorythroughout. For professionals in the sciences or engineering who need to brush up on their advanced mathematics skills.     Mathematical Reasoning: Writing and Proof, 2/E Theodore Sundstrom

Hardcover:

9780131877184 | 2 edition (Prentice Hall, March 17, 2006), cover price $93.33 | About this edition: Focusing on the formal development of mathematics, this book shows readers how to read, understand, write, and construct mathematical proofs.

Paperback:

9781492103851 | 3 edition (Createspace Independent Pub, August 10, 2013), cover price $20.50

cover image for 9781118164020
Product Description: This text makes a great supplement and provides a systematic approach for teaching undergraduate and graduate students how to read, understand, think about, and do proofs. The approach is to categorize, identify, and explain (at the student's level) the various techniques that are used repeatedly in all proofs, regardless of the subject in which the proofs arise...read more

Paperback:

9781118164020 | 6 edition (John Wiley & Sons Inc, July 22, 2013), cover price $80.95 | About this edition: This text makes a great supplement and provides a systematic approach for teaching undergraduate and graduate students how to read, understand, think about, and do proofs.
9780470392164 | 5th edition (John Wiley & Sons Inc, October 19, 2009), cover price $92.30 | About this edition: When engineers, computer scientists, and economists need to learn how to read, think about, and create proofs, they turn to Solow.
9780471680581 | 4th edition (John Wiley & Sons Inc, October 25, 2004), cover price $80.95 | About this edition: An easy-to-use guide that shows how to read, understand, and do proofs.
9780471406471 | John Wiley & Sons Inc, June 1, 2001, cover price $46.90 | About this edition: This book categorizes, identifies and explains the various techniques that are used repeatedly in all proofs and explains how to read proofs that arise in mathematical literature by understanding which techniques are used and how they are applied.
9780471510048 | 2 sub edition (John Wiley & Sons Inc, April 1, 1990), cover price $45.45 | About this edition: This straightforward guide describes the main methods used to prove mathematical theorems.

cover image for 9781461428107
Product Description: “Proofs and Fundamentals: A First Course in Abstract Mathematics” 2nd edition is designed as a "transition" course to introduce undergraduates to the writing of rigorous mathematical proofs, and to such fundamental mathematical ideas as sets, functions, relations, and cardinality...read more

Hardcover:

9781441971265 | 2 edition (Springer Verlag, February 21, 2011), cover price $74.95 | About this edition: “Proofs and Fundamentals: A First Course in Abstract Mathematics” 2nd edition is designed as a "transition" course to introduce undergraduates to the writing of rigorous mathematical proofs, and to such fundamental mathematical ideas as sets, functions, relations, and cardinality.
9780817641115 | Birkhauser, May 1, 2000, cover price $59.95 | About this edition: The aim of this book is to help students write mathematics better.

Paperback:

9781461428107 | 2 reprint edition (Birkhauser, April 21, 2013), cover price $74.95 | About this edition: “Proofs and Fundamentals: A First Course in Abstract Mathematics” 2nd edition is designed as a "transition" course to introduce undergraduates to the writing of rigorous mathematical proofs, and to such fundamental mathematical ideas as sets, functions, relations, and cardinality.
9781461274261 | Reprint edition (Birkhauser, August 4, 2012), cover price $59.95 | About this edition: The aim of this book is to help students write mathematics better.

cover image for 9780821894927
Product Description: There are many bits and pieces of folklore in mathematics that are passed down from advisor to student, or from collaborator to collaborator, but which are too fuzzy and nonrigorous to be discussed in the formal literature. Traditionally, it was a matter of luck and location as to who learned such "folklore mathematics"...read more

Paperback:

9780821894927 | Amer Mathematical Society, April 18, 2013, cover price $44.00 | About this edition: There are many bits and pieces of folklore in mathematics that are passed down from advisor to student, or from collaborator to collaborator, but which are too fuzzy and nonrigorous to be discussed in the formal literature.

cover image for 9780486490731
Product Description: Focusing on Gentzen-type proof theory, this volume presents a detailed overview of creative works by author Gaisi Takeuti and other twentieth-century logicians. The text explores applications of proof theory to logic as well as other areas of mathematics...read more

Hardcover:

9780444879431 | 2 rev sub edition (Elsevier Science Ltd, April 1, 1987), cover price $275.00

Paperback:

9780486490731 | 2 edition (Dover Pubns, February 20, 2013), cover price $24.95 | About this edition: Focusing on Gentzen-type proof theory, this volume presents a detailed overview of creative works by author Gaisi Takeuti and other twentieth-century logicians.

cover image for 9780321747471
Product Description: Normal 0 false false false For courses in undergraduate Analysis and Transition to Advanced Mathematics.   Analysis with an Introduction to Proof, Fifth Edition helps fill in the groundwork students need to succeed in real analysis—often considered the most difficult course in the undergraduate curriculum...read more

Hardcover:

9780321747471, titled "Analysis: With an Introduction to Proof" | 5th edition (Prentice Hall, December 22, 2012), cover price $164.20 | About this edition: Normal 0 false false false For courses in undergraduate Analysis and Transition to Advanced Mathematics.
9780131481015, titled "Analysis: With An Introduction to Proof" | 4th edition (Prentice Hall, December 15, 2004), cover price $141.33 | About this edition: By introducing logic and by emphasizing the structure and nature of the arguments used, this book helps readers transition from computationally oriented mathematics to abstract mathematics with its emphasis on proofs.
9780130898791, titled "Analysis: With an Introduction to Proof" | 3 sub edition (Prentice Hall, July 1, 2000), cover price $100.00 | About this edition: Carefully focused on reading and writing proofs, this introduction to the analysis of functions of a single real variable helps readers in the transition from computationally oriented to abstract mathematics.
9780130332677 | 2nd edition (Prentice Hall, February 1, 1990), cover price $82.67 | also contains Handbook of GC/ MS: Fundamentals and Applications | About this edition: For "baby" analysis with single variable only.

Paperback:

9780321892539, titled "Analysis: With an Introduction to Proof" | 5 unbnd edition (Prentice Hall, December 22, 2012), cover price $112.00 | About this edition: Normal 0 false false false MicrosoftInternetExplorer4 This edition features the exact same content as the traditional text in a convenient, three-hole- punched, loose-leaf version.

cover image for 9780321797094
Product Description: Normal 0 false false false Mathematical Proofs: A Transition to Advanced Mathematics, Third Edition, prepares students for the more abstract mathematics courses that follow calculus. Appropriate for self-study or for use in the classroom, this text introduces students to proof techniques, analyzing proofs, and writing proofs of their own...read more

Hardcover:

9780321797094 | 3 edition (Prentice Hall, September 17, 2012), cover price $173.20 | also contains Mathematical Proofs: A Transition to Advanced Mathematics | About this edition: Normal 0 false false false Mathematical Proofs: A Transition to Advanced Mathematics, Third Edition, prepares students for the more abstract mathematics courses that follow calculus.
9780201710908 | Addison-Wesley, September 1, 2002, cover price $124.00 | About this edition: This text is designed to prepare students for the more abstract mathematics courses that follow calculus.
9789990142860 | Addison-Wesley, September 1, 2002, cover price $0.02 | also contains Mathematical Proofs: A Transition to Advanced Mathematics

cover image for 9780123822178
Product Description: The Nuts and Bolts of Proofs: An Introduction to Mathematical Proofs provides basic logic of mathematical proofs and shows how mathematical proofs work. It offers techniques for both reading and writing proofs. The second chapter of the book discusses the techniques in proving if/then statements by contrapositive and proofing by contradiction...read more

Paperback:

9780123822178 | 4th edition (Academic Pr, January 5, 2012), cover price $49.95 | About this edition: The Nuts and Bolts of Proofs: An Introduction to Mathematical Proofs provides basic logic of mathematical proofs and shows how mathematical proofs work.

cover image for 9780230247741
Product Description: Gregory Landini offers a detailed historical account of Frege's notations and the philosophical views that led Frege from Begriffssscrhrift to his mature work Grundgesetze, addressing controversial issues that surround the notations.

Hardcover:

9780230247741 | Palgrave Macmillan, May 15, 2012, cover price $100.00 | About this edition: Gregory Landini offers a detailed historical account of Frege's notations and the philosophical views that led Frege from Begriffssscrhrift to his mature work Grundgesetze, addressing controversial issues that surround the notations.

cover image for 9780486482194
Product Description: This helpful workbook-style "bridge" book introduces students to the foundations of advanced mathematics, spanning the gap between a practically oriented calculus sequence and subsequent courses in algebra and analysis with a more theoretical slant...read more

Paperback:

9780486482194 | Reprint edition (Dover Pubns, August 18, 2011), cover price $24.95 | About this edition: This helpful workbook-style "bridge" book introduces students to the foundations of advanced mathematics, spanning the gap between a practically oriented calculus sequence and subsequent courses in algebra and analysis with a more theoretical slant.

cover image for 9780030267826
Product Description: The primary purpose of this undergraduate text is to teach students to do mathematical proofs. It enables readers to recognize the elements that constitute an acceptable proof, and it develops their ability to do proofs of routine problems as well as those requiring creative insights...read more

Hardcover:

9780030267826 | Harcourt School, May 1, 1990, cover price $75.95 | About this edition: The primary purpose of this undergraduate text is to teach students to do mathematical proofs.

cover image for 9780387489087
Product Description: This text explores the many transformations that the mathematical proof has undergone from its inception to its versatile, present-day use, considering the advent of high-speed computing machines. Though there are many truths to be discovered in this book, by the end it is clear that there is no formalized approach or standard method of discovery to date...read more

Hardcover:

9780387489087 | Springer Verlag, May 17, 2011, cover price $49.99 | About this edition: This text explores the many transformations that the mathematical proof has undergone from its inception to its versatile, present-day use, considering the advent of high-speed computing machines.

Miscellaneous:

9780387487441 | Ebrary, January 1, 2011, cover price $39.95

cover image for 9789400700017
Product Description: This is the first book-length treatment of hybrid logic and its proof-theory. Hybrid logic is an extension of ordinary modal logic which allows explicit reference to individual points in a model (where the points represent times, possible worlds, states in a computer, or something else)...read more

Hardcover:

9789400700017 | Springer Verlag, November 29, 2010, cover price $209.00 | About this edition: This is the first book-length treatment of hybrid logic and its proof-theory.

at beginning | displaying 1 to 25 | next 25 >