Proof theory : a selection of papers from the leeds proof theory programme 1990 /

Uloženo v:
Podrobná bibliografie
Další autoři: Aczel, Peter, 1941- (Editor), Simmons, Harold, 1942- (Editor), Wainer, S. S. (Editor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: Cambridge : Cambridge University Press, c1992.
Témata:
Pro rezervaci/výpůjčku fyzického dokumentu se přihlaste.
Popis Stav Knihovna Sbírka Signatura Poznámky Čárový kód
Dostupné
Měsíční
Fakulta informatiky R325 4200504907