Sign-In
Cart
Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
Hardcover
Series: Springer Monographs in Mathematics
ISBN13: 9783540775324
Publisher: Springer Nature
Published: May 26 2008
Pages: 536
Weight: 2.09
Height: 1.19 Width: 6.14 Depth: 9.21
Language: English
This is the first treatment in book format of proof-theoretic transformations - known as proof interpretations - that focuses on applications to ordinary mathematics. It covers both the necessary logical machinery behind the proof interpretations that are used in recent applications as well as - via extended case studies - carrying out some of these applications in full detail. This subject has historical roots in the 1950s. This book for the first time tells the whole story.
1 different editions
Also available
Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
Kohlenbach, Ulrich
Paperback
Also in
General Mathematics
The Golden Number: Pythagorean Rites and Rhythms in the Development of Western Civilization
Ghyka, Matila C.
Hardcover
How It All Works: All Scientific Laws and Phenomena Illustrated & Demonstrated
Dant, Adam
Clegg, Brian
Hardcover
Hidden Figures: The American Dream and the Untold Story of the Black Women Mathematicians Who Helped Win the Space Race
Shetterly, Margot Lee
Paperback
Six Easy Pieces: Essentials of Physics Explained by Its Most Brilliant Teacher
Sands, Matthew
Feynman, Richard P.
Leighton, Robert B.
Paperback
Oliver Byrne's Elements of Euclid: The First Six Books with Coloured Diagrams and Symbols (Art Meets Science Edition)
Art Meets Science
Hardcover
Math Practice Workbook Grades 6-8: 1000+ Questions You Need to Kill in Middle School by Brain Hunter Prep
Brain Hunter Prep
Paperback
Who Gets What -- And Why: The New Economics of Matchmaking and Market Design
Roth, Alvin E.
Paperback
WorkKeys Study Guide and Practice Test Questions: ACT WorkKeys Exam Prep and Review Book with Applied Mathematics, Locating Information, and Reading f
Trivium Exam Prep Team
Paperback
The Art of Strategy: A Game Theorist's Guide to Success in Business and Life
Dixit, Avinash K.
Nalebuff, Barry J.
Paperback
Tomoko Fuse's Amazing Kusudama Origami: Geometric Paper Art from Japan's Leading Expert!
Fuse, Tomoko
Paperback
Mastering Essential Math Skills Book 2, Bilingual Edition - English/Spanish
Fisher, Richard W.
Paperback
Hidden Figures: The American Dream and the Untold Story of the Black Women Mathematicians Who Helped Win the Space Race
Shetterly, Margot Lee
Hardcover
Counting with - Contando Con Frida (Bilingual: English/Spanish): A Bilingual Counting Book
Rodriguez, Patty
Stein, Ariana
Hardcover
Math Games with Bad Drawings: 75 1/4 Simple, Challenging, Go-Anywhere Games--And Why They Matter
Orlin, Ben
Hardcover
Hidden Figures: The American Dream and the Untold Story of the Black Women Mathematicians Who Helped Win the Space Race
Shetterly, Margot Lee
Paperback
The Great Math War: How Three Brilliant Minds Fought for the Foundations of Mathematics
Bardi, Jason Socrates
Hardcover
Quadrivium: The Four Classical Liberal Arts of Number, Geometry, Music, & Cosmology
Sutton, Daud
Lundy, Miranda
Ashton, Anthony
Hardcover
50 Math Tricks That Will Change Your Life: Mentally Solve the Impossible in Seconds
Zakowich, Tanya
Paperback
Graph Paper Composition Notebook: Quad Ruled 5x5, Grid Paper for Students in Math and Science
Wizo, Math
Paperback
Vector: A Surprising Story of Space, Time, and Mathematical Transformation
Arianrhod, Robyn
Hardcover
Touchthinklearn: Numbers: (Board Books for Baby Learners, Touch Feel Books for Children)
Deneux, Xavier
Hardcover
Quantum Mechanics Done Right: The Shortest Path from Novice to Researcher
Freericks, James K.
Hardcover
New York Post Fiendish Sudoku: The Official Utterly Addictive Number-Placing Puzzle
Gould, Wayne
Paperback
A Mind for Numbers: How to Excel at Math and Science (Even If You Flunked Algebra)
Oakley, Barbara
Paperback
Un Elefante: Numbers / Números (Bilingual: English/Spanish): A Bilingual Counting Book
Rodriguez, Patty
Stein, Ariana
Hardcover
ALEKS Math Placement Test Prep 2026: 1200 Verified Practice Questions with Accurate Answer Keys, Step-by-Step Worked Solutions, and Clear Concept Expl
Reid, Marcus L.
Publishing, Kettford
Paperback
Partial Differential Equations: Theory and Completely Solved Problems
Leonard, I. E.
Van Roessel, H.
Hillen, T.
Paperback
Secrets of Mental Math: The Mathemagician's Guide to Lightning Calculation and Amazing Math Tricks
Shermer, Michael
Benjamin, Arthur
Paperback
Building Thinking Classrooms in Mathematics, Grades K-12: 14 Teaching Practices for Enhancing Learning
Liljedahl, Peter
Paperback
Concrete Mathematics: A Foundation for Computer Science
Patashnik, Oren
Knuth, Donald
Graham, Ronald
Hardcover
Sudoku for Brain Fitness: 90-Day Challenge to Sharpen the Mind and Strengthen Cognitive Skills
Demyanovich, Julie
Clontz, Steven
Paperback
180 Days(r) Math for First Grade: Practice, Assess, Diagnose
Smith, Jodene
Smith, Jodene Lynn
Paperback
Number Systems and the Foundations of Analysis
Dudley, Underwood
Mathematics
Mendelson, Elliott
Paperback
Talentos Ocultos: La Genialidad No Tiene Color. La Fuerza No Tiene Género. El Valor No Tiene Límite.
Shetterly, Margot Lee
Paperback
Reaching for the Extreme: How the Quest for the Biggest, Fewest, and Weirdest Makes Math
Stewart, Ian
Hardcover
The Beginner's Guide to Constructing the Universe: The Mathematical Archetypes of Nature, Art, and Science
Schneider, Michael S.
Paperback
It's All a Game: The History of Board Games from Monopoly to Settlers of Catan
Donovan, Tristan
Paperback
Medical Dosage Calculations for Dummies
Schoenborn, Barry
Snyder, Richard W.
Depuente, Vanessa
Paperback
300 Math CrossWords: Addition, Subtraction, Multiplication, and Division Math CrossWords Grade 3 and Above, Age +8
Martin, Josh Ortiz
Paperback
Math Fundamentals 3 - Geometry: For Middle School - A Quickstudy Laminated Reference Guide
Warren, Peggy
Wright, Susan
Expolog
Other
Machine Learning with PyTorch and Scikit-Learn: Develop machine learning and deep learning models with Python
Raschka, Sebastian
Liu, Yuxi (Hayden)
Mirjalili, Vahid
Paperback