Computer science logic selected papers - Dalen Dirk van ed.; Annual Conference of the European Association for Computer Science Logic, CSL'96 (21-27 Sep 1996 : Utrecht,Netherlands); Annual conference of the European Association for Computer Science Logic, CSL'96 Utrecht, Netherlands 21-27 Sept 1996 (Berlin Springer-Verlag, 1997)
Keywords: Symbolic logic