Logic and Computation

Logic and Computation

Lawrence C. (University of Cambridge) Paulson
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.
Logic and Computation koupíte na Bookshop.cz
Bookshop.cz
1 625 Kč
Není skladem
Krátký popis
A study of techniques for formal theorem-proving, with particular reference to Cambridge LCF (Logic for Computable Functions). The book is aimed at graduate students and researchers in theoretical computer science.
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 Život je změna

Život je změna

Cena od 290 Kč

  Chci koupit
Kniha Budějovická mordparta 2 - Skutečné zločiny z jihu Čech

Budějovická mordparta 2 - Skutečné zločiny z jihu Čech

Cena od 309 Kč

  Chci koupit
Kniha Maze

Maze

  Chci koupit
Kniha Legitimita moci v postmoderní době: Proč potřebuje Evropská unie členské státy?

Legitimita moci v postmoderní době: Proč potřebuje Evropská unie členské státy?

Cena od 148 Kč

  Chci koupit
Manželství
Manželství
Hartl Patrik
  Chci koupit
Příběh o boji lásky s všedností.Když se do sebe Jana s Martinem zamilovali, všichni byli přesvědčení, že jejich vztah nemá žádnou budoucnost. Ani oni sami nevěřili, že jim spolu může být dobře déle než chvíli…