Computational logic and proof theory 5th Kurt Gödel Colloquium, KGC '97, Vienna, Austria, August 25-29, 1997 : proceedings

Kurt Gödel Colloquium (5th 1997 Vienna, Austria) G Gottlob (Georg); Alexander Leitsch 1952-; Daniele Mundici 1946-; Kurt Gödel Society; Colloquium on Computational Logic and Proof Theory (5. 1997 Vienna, AT)

Berlin New York Springer c1997

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.1289 ) e outros locais(Acessar)