Computational logic and proof theory : third Kurt Gõdel colloquium, KGC'93, held in Brno, Czech Republic, August 24-27, 1993 / Georg Gottlob, Alexander Leitsch, Daniele Mundici, ed. lit.
Publication: Berlin : Heidelberg, DE [etc.] : Springer-Verlag, cop. 1993Description: XI, 348 p. :
il. ;
24 cmAvailability: Items available for loan: Call number: QA75.5.LEC FCT 22880 (1).
