"Computational Logic and Proof Theory: 5th Kurt Godel Colloquium, Kgc'97, Vienna, Austria, August 25-29, 1997 Proceedings, Vol. 128" - читать интересную книгу автора (Georg Gottlob, Alexander Leitsch, Daniele Mundici)