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 - 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 - 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 - 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 - 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 - 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 - 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 - 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