What is a logical system? - Gabbay, Dov M., 1945- (Oxford Oxford University Press, 1994)
1
Keywords: Logic, Symbolic and mathematical; Computer science