MODAL LOGIC - BLACKBURN P. & RIJKE M. & VENEMA Y. (CAMEBRIDGE : CAMEBRIDGE UNIVERSITY PRESS, 2001)
Keywords: DISCRETE MATHAMATICS : LOGIC PROGRAMMING