Search results
- 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 
book
- 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 book
- 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 book
- 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 book
- 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 book
- 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 book
- 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 book
- 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 book
- 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 book
- Posthumous writings / Gottlob Frege ; edited by Hans Hermes, Friedrich Kambartel, Friedrich Kaulbach ; with the assistance of Gottfried Gabriel and Walburga Rödding ; translated by Peter Long, Roger White ; with the assistance of Raymond Hargreaves. Oxford : Basil Blackwell, [1979] ©1979 . xiii, 288 stran
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci Z 1 0 0 0 0 0 book