Leo Bachmair (auth.), Georg Gottlob, Alexander Leitsch, Daniele Mundici (eds.)
Mathematics , Computational MathematicsComputational Logic and Proof Theory: 5th Kurt Gödel Colloquium, KGC ’97 Vienna, Austria, August 25–29, 1997 Proceedings
Free Download- Mathematics , Computational Mathematics
Computational Logic and Proof Theory: 5th Kurt Gödel Colloquium, KGC ’97 Vienna, Austria, August 25–29, 1997 Proceedings
Free Download
