Čtenářský klub - Kniha měsíce se slevou - Kniha Pozor! Pohov! Claire Kilroy. NAKLADATEL Prostor, 2025. Zjistit Více
Kniha: Basic Proof Theory (Anne S. Troelstra)

1 363 Kč

Přidejte do košíku a poštovné máte zdarma :)

Přečtete na zařízeních:

  • Pocketbook
  • Kindle
  • Smartphone nebo tablet s příslušnou aplikací
  • Počítač s příslušnou aplikací

Nelze měnit velikost písma, formát je proto vhodný spíše pro větší obrazovky.

Více informací v našich návodech

Přečtete na zařízeních:

  • Pocketbook
  • Kindle
  • Smartphone nebo tablet s příslušnou aplikací
  • Počítač s příslušnou aplikací

Více informací v našich návodech

Přečtete na:

Nepřečtete na:

Jak číst e-knihy zabezpečené přes Adobe DRM?
Kniha: Basic Proof Theory (Anne S. Troelstra)
Kniha: Basic Proof Theory (Anne S. Troelstra)

Basic Proof Theory

Introduction to proof theory and its applications in mathematical logic, theoretical computer science and artificial intelligence. Číst víc

Introduction to proof theory and its applications in mathematical logic, theoretical computer science and artificial intelligence. Číst víc

Naši skřítci o tomto titulu zatím nemají víc informací, ale jakmile je získáme, tuto stránku doplníme.
  • Brožovaná vazba
  • Angličtina
Vyprodané
Mrzí nás to, všechny kusy tohoto titulu se už bohužel prodaly a nemáme ho na skladě my ani distributor :( Teoreticky ale můžete mít štěstí v některých jiných obchodech, které ještě neprodaly poslední kusy.

Potřebujete poradit knihu?

Zeptejte se online knihkupce!

Proč nakupovat knihy na Martinus.cz?

  • Tituly skladem doručujeme do druhého dne
  • Knihomolská záložka ke každému nákupu
  • Více než 9 000 výdejních míst

Naši skřítci doporučují

Královna Kunhuta a Záviš - Hana Whitton. NAKLADATEL Ikar CZ, 2025. Zjisti více
Kniha: Basic Proof Theory (Anne S. Troelstra)
1 363 Kč
Vyprodané
Mrzí nás to, všechny kusy tohoto titulu se už bohužel prodaly a nemáme ho na skladě my ani distributor :( Teoreticky ale můžete mít štěstí v některých jiných obchodech, které ještě neprodaly poslední kusy.

Více o knize


Introduction to proof theory and its applications in mathematical logic, theoretical computer science and artificial intelligence.
Naše katalogové číslo
3072643
Počet stran
432
Vazba
brožovaná vazba
Rozměr
152×229 mm
Hmotnost
642 g
ISBN
9780521779111
Rok vydání
2002
Jazyk
angličtina
Série
Cambridge Tracts in Theoretical Computer Science
Nakladatel
Cambridge University Press
Kategorizace

Našli jste nepřesnosti? Dejte nám, prosím, vědět!

Nahlásit chybu nebo škodlivý obsah

Máte o knize více informací než je na této stránce nebo jste našli chybu? Budeme vám velmi vděční, když nám pomůžete s doplněním informací na našich stránkách.

Hodnocení

Jak se líbila kniha vám?

Několik z nich se zavrtělo na židlích. Možná to byl signál, že ho konečně začínají chápat. Na druhou stranu to ale úplně klidně mohly být hemoroidy. U státních zaměstnanců člověk nikdy pořádně neví, na čem je.
Kniha: Složka 64 (Jussi Adler-Olsen)
Složka 64
  • Jussi Adler-Olsen