"Computational Logic and Proof Theory 5 conf., KGC'97, Vienna, Austria, August 25-29, 1997" - читать интересную книгу автора (Georg Gottlob, Alexander Leitsch, Daniele Mundici)