Blog
Všetko o nákupe
Kontakt
Hľadajte knihu, autora alebo kategóriu...
Predaj kníh
Tipy na darčeky
Komu chcete darovať knihu?
Darčeky pre najmenších
Darčeky pre mladších školákov
Darčeky pre starších školákov
Darčeky pre mamu
Darčeky pre otca
Darčeky pre babičku
Darčeky pre dedka
Dajte na naše rady!
BookTok
Dánovky
Evitovky
Súčasná slovenská próza
Reportážna literatúra
Anasoft Litera
Sfilmované knihy
Beletria
Beletria
Slovenská beletria
Česká beletria
Svetová beletria
Sci-fi a fantasy
Detektívky a thrillery
Romantika
Historická beletria
Komiksy
Náučná a odborná
Naučná a odborná
Encyklopédie
Dejiny a história
Hobby a domov
Motivácia a sebarozvoj
Psychológia
Šport
Umenie a kultúra
Životopisy a myšlienky
Pre deti a mládež
Pre tých najmenších
Rozprávky
Leporelo
Kontrastné leporelá
Pre mladších čitateľov
Všetky knihy pre mladších čitateľov
Prvé čítanie
Mladší školáci
Rozprávky
Detské encyklopédie
Vystrihovačky
Pre starších čitateľov
Všetky knihy pre starších čitateľov
Starší školáci
Herné knihy
Rozprávky
Detské encyklopédie
Mládež
Všetky knihy pre mládež
Young adult
Horory pre mládež
Ďalšie kategórie
Ďalšie kategórie
Kuchárky
Učebnice
Mapy a cestovanie
Ezoterika a náboženstvo
Podľa jazyka
Podľa jazyka
Knihy v angličtine
Knihy v slovenčine
Knihy v češtine
Knihy v nemčine
Knihy vo francúzštine
Knihy v maďarčine
Knihy v španielčine
Knihy v taliančine
Knihy v poľštine
Knihy v ruštine
knihobot.sk
/
Všetky knihy
/
Počítače, IT, programovanie
/
Ein tableaubasierter Theorembeweiser für die intuitionistische Logik
Kniha momentálne nie je na sklade
Ein tableaubasierter Theorembeweiser für die intuitionistische Logik
Autori
Oliver Bittel
Parametre
ISBN
9783486221435
Vydavateľstvo
Oldenbourg
Kategórie
Počítače, IT, programovanie
Berichte der Gesellschaft für Mathematik und Datenverarbeitung
Navrhnúť zmenu
Variant knihy
1991
Nákup knihy
Kniha momentálne nie je na sklade.
Strážiť dostupnosť knihy
19911991
19911991