Proofs and Computations

Proofs and Computations

Helmut (Ludwig-Maximilians-Universitat Munchen) Schwichtenberg, Stanley S. (University of Leeds) Wainer
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.
Proofs and Computations koupíte na Bookshop.cz
Bookshop.cz
2 344 Kč
Není skladem
Krátký popis
Written by acknowledged experts, for advanced students and researchers in mathematical logic and computer science, this volume provides a detailed, self-contained coverage of proof theory in both classical and constructive arithmetics, up to finitely iterated inductive definitions. Deep connections with computability, complexity and program extraction form the principal themes.
Výběr knih vydavatele Cambridge University Press
Kniha Bakunin

Bakunin

  Chci koupit
Kniha A Tattoo on my Brain

A Tattoo on my Brain

  Chci koupit
Kniha Being You

Being You

Cena od 330 Kč

  Chci koupit
Kniha Cambridge IGCSE® Chemistry Workbook

Cambridge IGCSE® Chemistry Workbook

  Chci koupit
Zobrazit všechny knihy vydavatele Cambridge University Press
Naše tipy
Kniha To je Ales

To je Ales

Cena od 155 Kč

  Chci koupit
Kniha Resuscitace

Resuscitace

Cena od 626 Kč

  Chci koupit
Kniha Přehled patologie

Přehled patologie

Cena od 215 Kč

  Chci koupit
Kniha Hodnocení plánů a projektů mobility

Hodnocení plánů a projektů mobility

Cena od 268 Kč

  Chci koupit
Péťa říká první slova, 2. vydání
Péťa říká první slova, 2. vydání
Marta Galewska-Kustra
  Chci koupit
Seznamte se s Péťou a jeho veselou rodinkou! Užijte si s nimi celý dlouhý den! Tento sympatický chlapeček se stane oblíbeným průvodcem vašeho dítěte při prvních krůčcích v mluvení. Kniha se zaměřuje na první slova typická pro vývoj dětské řeči. Dítě se učí je používat a chápat již v prvním a druhém roce života. Dvouleté dítě začíná spojovat slova, už tedy tvoří jednoduché věty. Hra s Péťou mu při tom všem velmi pomůže. Pro starší děti bude kniha výbornou pomůckou při prvních pokusech samostatně číst. Leporelo je určeno dětem od 12 měsíců.