Computational Logic and Proof Theory /

Uloženo v:
Podrobná bibliografie
Korporativní autor: Kurt Gödel Colloquium Brno, Česko) (Autor)
Další autoři: Gottlob, Georg, 1956- (Editor), Leitsch, Alexander, 1952- (Editor), Mundici, Daniele, 1946- (Editor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: Berlin : Springer-Verlag, 1993.
Témata:
Popis
Fyzický popis:348 s.
ISBN:3-540-57184-1