HANDBOOK OF THE LOGIC OF ARGUMENT AND INFERENCE - Dov M Gabbay,No; Gabbay,Dov M (Elsevier, Amsterdam, 2002)
Keywords: Logic, Symbolic And Mathematical