Computational Logic and Proof Theory: 5th Kurt G??del Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings: 5th Kurt Gödel Colloquium, ... Notes in Computer Science, 1289, Band 1289)

53.49 EUR

Marke: Springer Berlin Heidelberg
MPN: 7007565
ISBN: 9783540633853