Diagonalization in Formal Mathematics

Diagonalization in Formal Mathematics

Paulo Guilherme Santos
a najít nejvýhodnější cenu za celou objednávku
Knihu koupíte v 1 e-shopu od 1 322 Kč
Pokud se vám po kliknutí na tlačítko "Do obchodu" nezobrazí stránka knihy ve vybraném e-shopu, je třeba vypnout AdBlock ve vašem prohlížeči pro naši stránku. Návod na vypnutí je například na adrese https://o.seznam.cz/jak-vypnout-adblock/#1.
Diagonalization in Formal Mathematics koupíte na Bookshop.cz
Bookshop.cz
1 322 Kč
Skladem (dodání do 3 dnů)
Krátký popis
In this book, Paulo Guilherme Santos studies diagonalization in formal mathematics from logical aspects to everyday mathematics. He starts with a study of the diagonalization lemma and its relation to the strong diagonalization lemma. Finally, the author studies a general theory of…

Zobrazit celý popis
Výběr knih vydavatele Springer Fachmedien Wiesbaden
Kniha Algebraic Geometry I: Schemes

Algebraic Geometry I: Schemes

Cena od 2 056 Kč

  Chci koupit
Kniha Algorithm-Driven Truss Topology Optimization for Additive Manufacturing

Algorithm-Driven Truss Topology Optimization for Additive Manufacturing

Cena od 2 203 Kč

  Chci koupit
Kniha Alternative Powertrains and Extensions to the Conventional Powertrain

Alternative Powertrains and Extensions to the Conventional Powertrain

Cena od 1 762 Kč

  Chci koupit
Kniha Basic Income - From Vision to Creeping Transformation of the Welfare State

Basic Income - From Vision to Creeping Transformation of the Welfare State

Cena od 1 762 Kč

  Chci koupit
Kniha '"Intention is not method, belief is not evidence'"

'"Intention is not method, belief is not evidence'"

Cena od 1 909 Kč

  Chci koupit
Kniha Car IT Reloaded

Car IT Reloaded

Cena od 1 615 Kč

  Chci koupit
Kniha Beach Handball for Beginners

Beach Handball for Beginners

Cena od 822 Kč

  Chci koupit
Kniha Bridging the Gap between Requirements Engineering and Software Architecture

Bridging the Gap between Requirements Engineering and Software Architecture

Cena od 2 350 Kč

  Chci koupit
Zobrazit všechny knihy vydavatele Springer Fachmedien Wiesbaden
Naše tipy
Kniha Křivé obvinění

Křivé obvinění

Cena od 318 Kč

  Chci koupit
Kniha Vzpurné mágyně

Vzpurné mágyně

Cena od 379 Kč

  Chci koupit
Kniha Ájurvéda, jóga a jídlo

Ájurvéda, jóga a jídlo

Cena od 449 Kč

  Chci koupit
Kniha Katka už nebude divná

Katka už nebude divná

Cena od 326 Kč

  Chci koupit
Zaklínač IX.- Rozcestí krkavců
Zaklínač IX.- Rozcestí krkavců
Andrzej Sapkowski
  Chci koupit
Zaklínači se nerodí. Zaklínači jsou vytvářeni.Než se stal Bílým vlkem a Řezníkem z Blavikenu, byl Geralt z Rivie pouhým čerstvým absolventem Kaer Morhen, který vstoupil do světa, jenž jeho druhu nerozumí ani ho nevítá.A když se naivní hrdinský čin ošklivě zvrtne, Geralta zachrání před oprátkou jen Preston Holt, zkušený zaklínač s pohřbenou minulostí a vlastními plány.Pod Holtovým vedením začíná Geralt poznávat, co to skutečně znamená kráčet po Stezce - chránit svět, který se ho bojí, a přežít v něm. Když se však hranice mezi dobrem a zlem začíná stírat, Geralt se musí rozhodnout, zda se stane monstrem, které v něm všichni vidí, nebo někým úplně jiným.Toto je příběh o tom, jak vznikají legendy - a jaká je cena za její stvoření.