BLACKBURN P. & RIJKE M. & VENEMA Y.

MODAL LOGIC - CAMEBRIDGE : CAMEBRIDGE UNIVERSITY PRESS 2001 - 554 p.

0000521527147


DISCRETE MATHAMATICS : LOGIC PROGRAMMING

004.0151 / B41