What is a logical systemn - Gabbay, Dov M. 1945-. (Oxford Clarendon Press, 1994)
Includes bibliographical references and index.
Keywords: Logic, Symbolic and mathematical; Computer science