Search results
- Formalizing medieval logical theories : suppositio, consequentiae and obligationes / by Catarina Dutilh Novaes. Dordrecht : Springer, 2007 . xii, 314 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci CMTF 0 0 0 1 0 0 - Procedural semantics for hyperintensional logic : foundations and applications of transparent intensional logic / Marie Duží, Bjørn Jespersen, Pavel Materna. Dordrecht : Springer, [2010] ©2010 . xiii, 552 stran
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci FF 0 0 0 2 0 0 - Vague objects and vague identity : new essays on ontic vagueness / Ken Akiba, Ali Abasnezhad, editors. Dordrecht : Springer, [2014] ©2014 . x, 359 stran
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci CMTF 0 0 0 1 0 0