Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Zásilkovna 39 Kč Výdejní místo DPD 49 Kč PPL shop 49 Kč Balíkovna 49 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Treatise on Intuitionistic Type Theory

Jazyk AngličtinaAngličtina
Kniha Pevná
Kniha Treatise on Intuitionistic Type Theory Johan G. Granström
Libristo kód: 01978897
Nakladatelství Springer, červen 2011
Intuitionistic type theory can be described, somewhat boldly, as a fulfillment of the dream of a uni...
? points 330 b
3 297 Kč
Skladem u dodavatele Odesíláme za 10-13 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

APOPLEJIA HIPOFISARIA CONCEPTOS TEORICOS Y MANEJO TERAPEUTICO BARCELO LOPEZ / Kniha Brožovaná
common.buy 525 Kč
'Expositio totius mundi et gentium' cum redactione altera quae 'Totius mundi descriptio' inscribitur Carmela Cioffi / Kniha Pevná
common.buy 1 694 Kč
Das inoffizielle Kochbuch zu Tolkiens Welt Patrick Rosenthal / Kniha Pevná
common.buy 309 Kč
Top
Proszę państwa do gazu i inne opowiadania Tadeusz Borowski / Kniha Pevná
common.buy 290 Kč
RSA Handbuch, Band 1: RSA mit Kommentar - FASSUNG 2022 Wolfgang Schulte / Kniha Brožovaná
common.buy 2 097 Kč
Érase una vez... mi endometriosis DES GRIBOUILLIS / Kniha Brožovaná
common.buy 523 Kč
Klíč v zámku Beth Underdownová / Kniha Pevná
common.buy 55 Kč
Internationale Rechtsunterschiede und nationaler Wettbewerb. Klaus-Georg Mook / Kniha Brožovaná
common.buy 1 674 Kč
Připravujeme
Slovní úlohy – Jak řešit logické úlohy z matematiky Marcela Sládková / Kniha Brožovaná
common.buy 207 Kč
Les Troubles obsessionnels compulsifs (TOC) Clair / Kniha Kniha
common.buy 324 Kč
The Expanse - Die Graphic Novel Andy Diggle / Kniha Brožovaná
common.buy 356 Kč
LORD, WE GLORIFY YOU CHANT DANA MENGEL Kniha binding.
common.buy 117 Kč
Die Sprache ALS Kunst, Erster Band Gustav Gerber / Kniha Brožovaná
common.buy 728 Kč
Histoire de La Civilisation Francaise, Volume 3 Alfred Rambaud / Kniha Brožovaná
common.buy 837 Kč
Histoire Des Juifs, Ecrite Par Flavius Joseph V1 (1773) Flavius Josephus / Kniha Pevná
common.buy 1 316 Kč
Der Phoenix hebt ab Tanja Biallas / Kniha Pevná
common.buy 552 Kč
Leyes Fundamentales del Mundo Para Asegurar La Vida Eterna Grigori Grabovoi / Kniha Brožovaná
common.buy 589 Kč
Grundlagen Alfred Teichmann / Kniha Pevná
common.buy 2 732 Kč
Václav Hlavatý (1894–1969) Helena Durnová / Kniha Brožovaná
common.buy 290 Kč
The World in 52 Weeks, Vol. 4: 52 Tuan Vong Quanh the Gioi, Tap 4 Phuc Van Do / Kniha Brožovaná
common.buy 445 Kč
Droit Civil Francais. Des Actes de l'Etat Civil. Jus Romanum. de Statu Nominum SCHMITT-A / Kniha Brožovaná
common.buy 358 Kč
MOVIE CHOIRBOOK CARSTEN GERLITZ / Kniha Brožovaná
common.buy 619 Kč
San Francisco Skyline (Puzzle) Peter Schickert / Hra/Hračka Hra
common.buy 829 Kč
Levně
Ohne Handy - voll am Arsch! Florian Buschendorff / Kniha Brožovaná
common.buy 107 Kč

Intuitionistic type theory can be described, somewhat boldly, as a fulfillment of the dream of a universal language for science. In particular, intuitionistic type theory is a foundation for mathematics and a programming language.

Herečka & Polyglotka
EWA KASP pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Treatise on Intuitionistic Type Theory
Autor Johan G. Granström
Jazyk Angličtina
Vazba Kniha - Pevná
Datum vydání 2011
Počet stran 212
EAN 9789400717350
ISBN 9400717350
Libristo kód 01978897
Nakladatelství Springer
Váha 485
Rozměry 156 x 234 x 12

Kategorie

Matematika a věda > Matematika > Matematické základy > Matematická logika
Matematika a věda > Matematika > Diferenciální a integrální počet a matematická analýza > Numerická analýza
Filozofie a náboženství > Filozofie > Filozofická témata > Filozofie: epistemologie a teorie poznání
Filozofie a náboženství > Filozofie > Filozofická témata > Filozofie: logika
Filozofie a náboženství > Filozofie > Historie filozofie, filozofické tradice
Výpočetní a informační technologie > Informatika > Architektura počítače a logic design
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

Metamathematics of Fuzzy Logic Petr Hájek / Kniha Pevná
common.buy 5 177 Kč
Three Little Cooks LUCY CRUMP / Kniha Brožovaná
common.buy 506 Kč
Foundation Study Bible-NIV Zondervan Bibles / Kniha Pevná
common.buy 941 Kč
Discovering Church Life - Teacher Edition Frank Damazio / Kniha Brožovaná
common.buy 442 Kč
Achieving Sustainable Production of Milk Volume 1 Ying Ma / Kniha Pevná
common.buy 4 497 Kč
Připravujeme
Emerging Issues for Small Island Developing States - Results of the Unep/Un Desa Foresight Process United Nations Publications / Kniha Brožovaná
common.buy 571 Kč
Fuzzy Logic and Mathematics Radim Belohlavek / Kniha Pevná
common.buy 3 969 Kč
Top
Bleach (3-in-1 Edition), Vol. 21 Tite Kubo / Kniha Brožovaná
common.buy 260 Kč
Story of Jesus and the Twelve Disciples Children's Jesus Book Baby Professor / Kniha Brožovaná
common.buy 275 Kč
Hopewell Furnace NHS: Alternative Transportation Study National Park Service / Kniha Brožovaná
common.buy 362 Kč
Home Funeral Ceremonies: A primer to honor the dying and the dead with reverence, light-heartedness and grace Donna Belk / Kniha Brožovaná
common.buy 402 Kč
Le Petit Cirque de la Lune: Charles Le Bigg (The Strong Man) MR Hayden Wayne / Kniha Brožovaná
common.buy 464 Kč
Les charlatans demasques JULIEN LA METTRIE / Kniha Brožovaná
common.buy 445 Kč
Diagnosis, Management, and Treatment of Discogenic Pain Leonardo Kapural / Kniha Pevná
common.buy 2 923 Kč
Reviving Cicero in Drama Gesine Manuwald / Kniha Pevná
common.buy 3 971 Kč
The Salem Witch Trials: Mass Hysteria and Many Lives Lost Burgan / Kniha Pevná
common.buy 609 Kč
Disney Favorites - Creative Piano Solo Hal Leonard Corp / Kniha Brožovaná
common.buy 427 Kč
John's Transformation of Mark Helen K. Bond / Kniha Brožovaná
common.buy 877 Kč
The clash of cultures: A glossary of cultural shocks experienced by an Eastern migrant in the West Yavar Dehghani / Kniha Brožovaná
common.buy 341 Kč
ISEE Upper Level Math Workout: Extra Practice Questions and Two Full-Length Practice ISEE Upper Level Math Tests Reza Nazari / Kniha Brožovaná
common.buy 382 Kč
As Told by the Nightfire Vangegh Begha / Kniha Brožovaná
common.buy 186 Kč
How The Gods Were Made John Keracher / Kniha Brožovaná
common.buy 184 Kč
Top
OROFACIAL MYOFUNCTIONAL THERAPY Sanket Kunte / Kniha Brožovaná
common.buy 670 Kč
Disney Pixar Cars Ultimate Sticker Collection DK / Kniha Brožovaná
common.buy 256 Kč

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

Nemáte účet? Získejte výhody Libristo účtu!

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet