Computational logic and proof theory : proceedings - Cottlob Georg; Kurt Godel Colloquium( 3rd : 1993 : Brno ); Kurt Godel Colloquium 3rd Brno, 1993 (Berlin Springer Verlag, 1993)
Keywords: Computational logic; Proof theory