Výsledky vyhledávání
- Metamathematics of first-order arithmetic / Petr Hájek, Pavel Pudlák. Berlin ; Heidelberg ; New York : Springer, 1998 . xiv, 460 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 1 0 0 - Metamathematics of first-order arithmetic / Petr Hájek, Pavel Pudlák. Berlin ; Heidelberg : Springer, 1993 . xiv, 460 stran
http://krameriusndk.nkp.cz/search/handle/uuid:12dcc100-1dcb-11e2-a61d-005056827e52Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 1 0 0 2 0 0 - Metamathematics of fuzzy logic / Petr Hájek. Dordrecht ; Boston ; London : Kluwer Academic Publishers, [1998] ©1998 . viii, 297 stran
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 1 0 0 4 0 0 - Metoda GUHA (General Unary Hypotheses Automaton) / [kolektiv autorů]. České Budějovice : Dům techniky ČSVTS, 1977 . 203 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci Z 1 0 0 0 0 0 - Witnessed years : essays in honour of Petr Hájek / Petr Cintula, Zuzana Haniková and Vítězslav Švejdar. London : College Publications, c2009 . vii, 405 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 1 0 0