Sign-In
Cart
The Code of Mathematics: From Truth, Proof, and Computability to Homotopy Type Theory
Paperback
Series: Mathematics Study Resources, Book 34
ISBN13: 9783662742280
Publisher: Springer
Published: Feb 24 2027
Pages: 194
Language: English
Also from
Müller-Stach, Stefan
Gott Q.E.D.?: Ein Lesebuch Aus Der Gemeinsamen Geschichte Von Mathematik Und Theologie
Müller-Stach, Stefan
Sauer, Tilman
Volp, Ulrich
Hardcover
Richard Dedekind: Was Sind Und Was Sollen Die Zahlen? Stetigkeit Und Irrationale Zahlen
Müller-Stach, Stefan
Paperback
Der Code Der Mathematik: Von Wahrheit, Beweis Und Berechenbarkeit Zur Homotopietypentheorie
Müller-Stach, Stefan
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
Leighton, Robert B.
Sands, Matthew
Feynman, Richard P.
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
The Art of Strategy: A Game Theorist's Guide to Success in Business and Life
Dixit, Avinash K.
Nalebuff, Barry J.
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
Who Gets What -- And Why: The New Economics of Matchmaking and Market Design
Roth, Alvin E.
Paperback
Tomoko Fuse's Amazing Kusudama Origami: Geometric Paper Art from Japan's Leading Expert!
Fuse, Tomoko
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
Mastering Essential Math Skills Book 2, Bilingual Edition - English/Spanish
Fisher, Richard W.
Paperback
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
50 Math Tricks That Will Change Your Life: Mentally Solve the Impossible in Seconds
Zakowich, Tanya
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
Quadrivium: The Four Classical Liberal Arts of Number, Geometry, Music, & Cosmology
Lundy, Miranda
Ashton, Anthony
Sutton, Daud
Hardcover
The Great Math War: How Three Brilliant Minds Fought for the Foundations of Mathematics
Bardi, Jason Socrates
Hardcover
Graph Paper Composition Notebook: Quad Ruled 5x5, Grid Paper for Students in Math and Science
Wizo, Math
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
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
Secrets of Mental Math: The Mathemagician's Guide to Lightning Calculation and Amazing Math Tricks
Benjamin, Arthur
Shermer, Michael
Paperback
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
Van Roessel, H.
Hillen, T.
Leonard, I. E.
Paperback
Building Thinking Classrooms in Mathematics, Grades K-12: 14 Teaching Practices for Enhancing Learning
Liljedahl, Peter
Paperback
Introduction to Quantum Computing: From Bit to Qubit, and Its Impact on Our World
Lab, Quantum Decision
Paperback
180 Days(r) Math for First Grade: Practice, Assess, Diagnose
Smith, Jodene Lynn
Smith, Jodene
Paperback
Concrete Mathematics: A Foundation for Computer Science
Knuth, Donald
Graham, Ronald
Patashnik, Oren
Hardcover
Number Systems and the Foundations of Analysis
Mendelson, Elliott
Dudley, Underwood
Mathematics
Paperback
Math Fundamentals 3 - Geometry: For Middle School - A Quickstudy Laminated Reference Guide
Warren, Peggy
Wright, Susan
Expolog
Other
Sudoku for Brain Fitness: 90-Day Challenge to Sharpen the Mind and Strengthen Cognitive Skills
Demyanovich, Julie
Clontz, Steven
Paperback
Talentos Ocultos: La Genialidad No Tiene Color. La Fuerza No Tiene Género. El Valor No Tiene Límite.
Shetterly, Margot Lee
Paperback
Cybernetics: Or the Control and Communication in the Animal and the Machine
Wiener, Norbert
Paperback
It's All a Game: The History of Board Games from Monopoly to Settlers of Catan
Donovan, Tristan
Paperback
Reaching for the Extreme: How the Quest for the Biggest, Fewest, and Weirdest Makes Math
Stewart, Ian
Hardcover
Make: Physics: Build Projects to Explore Calculus-Based Mechanics
Horvath, Joan
Cameron, Rich
Paperback
300 Math CrossWords: Addition, Subtraction, Multiplication, and Division Math CrossWords Grade 3 and Above, Age +8
Martin, Josh Ortiz
Paperback
The Beginner's Guide to Constructing the Universe: The Mathematical Archetypes of Nature, Art, and Science
Schneider, Michael S.
Paperback
Medical Dosage Calculations for Dummies
Snyder, Richard W.
Depuente, Vanessa
Schoenborn, Barry
Paperback