Language, proof and logic /

Uloženo v:
Podrobná bibliografie
Hlavní autoři: Barwise, Jon, 1942-2000 (Autor), Etchemendy, John, 1952- (Autor)
Další autoři: Allwein, Gerard, 1956- (Autor úvodu atd.), Barker-Plummer, Dave, 1960- (Autor úvodu atd.), Liu, Albert, 1966- (Autor úvodu atd.)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: Stanford, California : CSLI Publications, c2008
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
Dostupné
Prezenční SKLAD
Filozofická fakulta sklad A1-31642 2570808487

Fakulta informatiky

Popis Stav Knihovna Sbírka Signatura Poznámky Čárový kód
Dostupné
Měsíční
Fakulta informatiky L6 - skříň 4200514582
Dostupné
Měsíční
Fakulta informatiky L6 + 1 CD-ROM, 1 příl.
4200514744