"Computational Logic and Proof Theory 3 conf., KGC'93, Brno, Czech Republic, August 24-27, 1993" - читать интересную книгу автора (Georg Gottlob, Alexander Leitsch, Daniele Mundici)