Derivation and Computation

Derivation and Computation

H. (University of Manchester) Simmons
a najít nejvýhodnější cenu za celou objednávku
Knihu koupíte v 1 e-shopu
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.
Derivation and Computation koupíte na Bookshop.cz
Bookshop.cz
4 406 Kč
Není skladem
Krátký popis
The is an introduction to simple type theory, exploring the relationship between proof and calculation. Each of its 52 sections ends with a set of exercises, some 200 in total. These are designed to help the reader get to grips with the subject. An appendix contains complete solutions to them.

Zobrazit celý popis
Výběr knih vydavatele Cambridge University Press
Kniha Own It! 2 Project Book

Own It! 2 Project Book

Cena od 124 Kč

  Chci koupit
Kniha Double Cross

Double Cross

Cena od 167 Kč

  Chci koupit
Kniha Being You

Being You

Cena od 330 Kč

  Chci koupit
Kniha Picture to Remember Level 2

Picture to Remember Level 2

Cena od 185 Kč

  Chci koupit
Kniha Grow the Pie

Grow the Pie

Cena od 594 Kč

  Chci koupit
Kniha John Doe

John Doe

Cena od 172 Kč

  Chci koupit
Kniha Kid´s Box 1 Language Portfolio

Kid´s Box 1 Language Portfolio

Cena od 80 Kč

  Chci koupit
Kniha More! 4 Pracovní sešit

More! 4 Pracovní sešit

Cena od 249 Kč

  Chci koupit
Zobrazit všechny knihy vydavatele Cambridge University Press
Naše tipy
Kniha Její poslední výdech

Její poslední výdech

Cena od 306 Kč

  Chci koupit
Kniha Světelná poselství z Plejád 3

Světelná poselství z Plejád 3

Cena od 306 Kč

  Chci koupit
Kniha Návrh

Návrh

Cena od 318 Kč

  Chci koupit
Kniha Zlatá krev (Speciální edice)

Zlatá krev (Speciální edice)

Cena od 708 Kč

  Chci koupit
Žalozpěv
Žalozpěv
Camilla Läckberg
  Chci koupit
Žalozpěv - Camilla Läckberg

Před třiceti lety beze stopy zmizela středoškolačka Sofie Rudbergová. Spisovatelka Erica Falcková si ji dobře pamatuje ze školy, na rozdíl od ní však Sofie byla jednou z těch „cool“ oblíbených holek. Když jsou ve Fjällbacce nalezeny lidské ostatky, starý případ je znovu otevřen. Vyšetřovatel Patrik Hedström společně s Erikou skládají dohromady střípky minulosti a snaží se odhalit, co se tehdy stalo. V malém městečku má ale každý své tajemství – a někteří udělají cokoli, aby zůstalo skryto.