Labelled deductive systems. Volume 1 /

Uloženo v:
Podrobná bibliografie
Hlavní autor: Gabbay, Dov M., 1945- (Autor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: Oxford : The Clarendon Press, 1996
Edice:Oxford logic guides ; 33
Témata:
Pro rezervaci/výpůjčku fyzického dokumentu se přihlaste.

Filozofická fakulta

Popis Stav Knihovna Sbírka Signatura Poznámky Čárový kód
Dlouhodobá
do 2030-12-31
Filozofická fakulta volný výběr filozofie-RACL Dotisk, 2002
2572003452

Přírodovědecká fakulta

Popis Stav Knihovna Sbírka Signatura Poznámky Čárový kód
Dostupné
Měsíční
Přírodovědecká fakulta ÚK volný výběr 510.6-GABB 3145312663