What is a logical system? [Texte imprimé] / edited by D.M. Gabbay - Oxford : New York : Clarendon Press ; Oxford University Press, 1994 - 1 vol. (X-454 p.) : ill. ; 25 cm - Studies in logic and computation ; 4 Oxford science publications . Notes bibliogr. ISBN: 0-19-853859-6 Subjects--Index Terms: Logic, Symbolic and mathematical Computer science Dewey Class. No.: 511.3