Labelled deductive systems - Gabbay Dov M (Oxford Clarendon Press, 1996)
Keywords: Deductive mathematics