Výsledky vyhledávání
- Elements of symbolic logic / Hans Reichenbach. New York : The Free Press ; London : Collier-Macmillan Limited, 1966 . xiii, 444 stran
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci Z 1 0 0 0 0 0 
kniha
- Formal concept analysis : mathematical foundations / Bernhard Ganter, Rudolf Wille ; [translated from the German by Cornelia Franzke]. Berlin ; Heidelberg ; New York : Springer-Verlag, c1999 . x, 284 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 2 0 0 1 1 1 kniha
- Handbook of logic and language / [edited by] Johan van Benthem, Alice ter Meulen. London ; Burlington, Mass. : Elsevier, c2011 . xxii, 1146 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 1 0 0 kniha
- An introduction to practical formal methods using temporal logic / Michael Fischer. Chichester : Wiley, a John Wiley & Sons, Ltd., Publication, 2011 . vi, 353 stran
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 1 0 0 kniha
- An introduction to Wittgenstein's Tractatus / G.E.M. Anscombe. London : Hutchinson University Library, 1967 . 179 stran
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci Z 1 0 0 0 0 0 kniha
- Logic for computer scientists / Uwe Schöning. New York : Springer Science+Business Media, LLC, 1989 . 166 stran
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 1 0 0 kniha
- Logic, semantics, metamathematics : papers from 1923 to 1938 / by Alfred Tarski ; translated by J. H. Woodger ; edited and introduced by John Corcoran. Indianapolis, Indiana : Hackett Publishing Company, 1990 . xxx, 506 stran
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci Z 0 0 0 1 0 0 kniha
- Mathematical logic / Stephen Cole Kleene. Mineola, New York : Dover Publications, 2002 . xiii, 398 stran
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 1 0 0 1 0 0 kniha
- Mathematical logic for computer science / Mordechai Ben-Ari. London : Springer, c2012 . xv, 346 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 1 0 0 kniha
- Pojmopis : formulovaný jazyk čistého myšlení po vzoru formulovaného jazyka aritmetiky / Gottlob Frege ; přeložil a komentářem opatřil Jiří Fiala. Praha : OIKOYMENH, 2012 . 194 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci CMTF 1 0 0 0 0 0 Z 1 0 0 0 0 0 kniha