Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
Free delivery for purchases over 19 990 Ft
DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Der Code der Mathematik

Language GermanGerman
Book Paperback
Book Der Code der Mathematik Stefan Müller-Stach
Libristo code: 42082408
Publishers Springer, Berlin, June 2023
Motiviert durch aktuelle Entwicklungen in der abhängigen Typentheorie und bei Unendlichkategorien pr... Full description
? points 87 b
13 118 Ft
In stock at our supplier Shipping in 8-11 days

Up to 30 days for returns

Customers also purchased

Mathematisches Problemlosen und Beweisen Daniel Grieser / Book Paperback
common.buy 13 118 Ft
Beweisen Lernen Schritt Fur Schritt Jan-Hendrik Treude / Book Paperback
common.buy 16 834 Ft
Das Gilgamesch-Epos Walther Sallaberger / Book Paperback
common.buy 4 341 Ft
Diokletian Alexander Demandt / Book Hardback
common.buy 11 393 Ft
Top
General Relativity Leonard Susskind / Book Paperback
common.buy 4 976 Ft
CONTRIBUTIONS TO THE EARLY HISTORY OF NE THOMAS MORLA HOCKEN / Book Hardback
common.buy 15 000 Ft
Egyptian Mythology: Classic Stories of Egyptian Myths, Gods, Goddesses, Heroes, and Monsters Scott Lewis / Book Paperback
common.buy 6 554 Ft
T.I.M.E Stories Lambert / Book Paperback
common.buy 4 720 Ft
The Philosophy Of History Georg Wilhelm Friedrich Hegel / Book Hardback
common.buy 13 512 Ft
Anti-Inflammatory Diet for Beginners: A Complete Nutritional Meal Plan to Fight Disease, Promote Weight Loss, Heal the Immune System Dorothy Greger / Book Paperback
common.buy 4 043 Ft
Click Anne Conley / Book Paperback
common.buy 5 829 Ft
QCM d'Anatomie - Tête, cou, nerfs crâniens et organes des sens Trouilloud / Book Paperback
common.buy 6 057 Ft
Nos grands pilotes de rallye ENGUERRAND LECESNE / Book Book
common.buy 17 090 Ft
SIEMPRE CONTIGO BALSERA / Book Book
common.buy 3 815 Ft
Teresa Cebrián Salanova Burguera / Book Hardback
common.buy 13 194 Ft
Emotional Wisdom: How to Read, Understand, and Process Emotions Randolph (Randy) Cornelius / Audio Audio CD
common.buy 16 862 Ft
Lally's Game (Five Nights at Freddy's: Tales from the Pizzaplex #1) Kelly Parra / Book Paperback
common.buy 3 502 Ft
Little Book of Vivienne Westwood (version francaise) Glenys Johnson / Book Hardback
common.buy 9 095 Ft
Coming soon New
East Asia′s Troubled Democracies – How Illiberal Trends Are Reshaping Politics in Japan, South Korea, and Taiwan Christopher Carothers / Book Paperback
common.buy 14 279 Ft
Socio-cultural Impacts of Workplace E-learning Karim A. Remtulla / Book Hardback
common.buy 71 624 Ft
Sheepkeeper's Veterinary Handbook Judith Charnley / Book Hardback
common.buy 11 540 Ft
Family Health Encyclopedia Dr Peter Fermie & Dr Stephen Shepherd / Book Paperback
common.buy 9 047 Ft
Top
Mastering Endgame Strategy Johann Hellsten / Book Paperback
common.buy 12 910 Ft
Henri Cornelis Agrippa Joseph Orsier / Book Paperback
common.buy 11 739 Ft

Motiviert durch aktuelle Entwicklungen in der abhängigen Typentheorie und bei Unendlichkategorien präsentiert dieses Buch die Ideengeschichte der Begriffe Wahrheit, Beweis, Gleichheit und Äquivalenz. Neben ausgewählten Ideen von Platon, Aristoteles, Leibniz, Kant, Frege und anderen werden Resultate von Gödel and Tarski über Unvollständigkeit, Unentscheidbarkeit und Wahrheit in deduktiven Systemen und ihren semantischen Modellen vorgestellt. Der Hauptgegenstand dieses Textes ist die abhängige Typentheorie und neuere Entwicklungen in der Homotopy Type Theory. Diese Theorien beinhalten Identitätstypen, die neue Möglichkeiten für Gleichheit, Symmetrie, Äquivalenz und Isomorphie auf konzeptuelle Weise eröffnen. Die Interaktion von Typentheorie und Unendlichkategorien ist ein neues Paradigma für eine strukturelle Sichtweise auf die Mathematik. Sie fördert auch den neuen Trend zur Formalisierung von Mathematik in Form von Beweisassistenten.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Der Code der Mathematik
Author Stefan Müller-Stach
Language German
Binding Book - Paperback
Date of issue 2023
Number of pages 196
EAN 9783662665619
Libristo code 42082408
Publishers Springer, Berlin
Weight 380
Dimensions 155 x 235

Categories

Mathematics & Science > Mathematics
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Studien uber die Kloester des Mittelalters A. Kobler / Book Hardback
common.buy 38 881 Ft
Vierzehn Jahre mit Adelina Patti Louisa Lauw / Book Paperback
common.buy 6 417 Ft
Deutsch an Stationen SPEZIAL - Textsorten 9/10 Winfried Röser / Book Sheet
common.buy 10 521 Ft
30 Tage Oliver Pätzold / Book Paperback
common.buy 4 706 Ft
Nietzsches Literaturen Ralph Häfner / Book Hardback
common.buy 60 805 Ft
Betriebliches Sozialmanagement Katrin Schneiders / Book Paperback
common.buy 28 568 Ft
Physical Kinetics A M Kosevich / Book Paperback
common.buy 27 488 Ft
Big Nate Strikes Again Lincoln Peirce / Book Paperback
common.buy 3 815 Ft
Top
Arsene Lupin, Gentleman-Thief Maurice Leblanc / Book Paperback
common.buy 5 725 Ft
Gospel of Philip Andrew Phillip Smith / Book Paperback
common.buy 5 441 Ft
Life And Times Of The Rev. John Wesley, Founder Of The Methodists V2 L. Tyerman / Book Hardback
common.buy 23 161 Ft
Too Young to Die! Stephen John / Book Hardback
common.buy 9 815 Ft
Liturgy Rita Ferrone / Book Paperback
common.buy 5 545 Ft
Murder at Five Finger Light: A Jessie Arnold Mystery Sue Henry / Book Paperback
common.buy 4 251 Ft
La Liberté, Volume 1 Jules Simon / Book Paperback
common.buy 10 640 Ft
Top
Thothův Tarot Aleister Crowley / Printed items Cards
common.buy 10 279 Ft
Asterisk War, Vol. 5 (manga) Yuu Miyazaki / Book Paperback
common.buy 4 479 Ft
Ideas, Identity and Art of Daniel Spoerri Leda Cempellin / Book Hardback
common.buy 26 872 Ft
Alasco, an Indian Tale: Two Cantos: With Other Poems>. William H Simmons / Book Paperback
common.buy 6 839 Ft
The Fantasy Collection Shine Leflur / Book Paperback
common.buy 3 815 Ft
KORESPONDENCE S KOMENIOLOGY II./SEBRANÉ SPISY SV.22 Jan Patočka / Book Book
common.buy 6 313 Ft
Only God Can Save Nigeria: What a Myth? Sunday Adelaja / Book Paperback
common.buy 7 607 Ft

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?