Computer science logic : selected papers - Borger E; Computer Science Logic Workshop( 6th : 1992 : Italy ); Computer Science Logic Workshop 6th , Italy 1992 (Berlin Springer Verlag, 1993)
Keywords: Computer science; Symbolic logic