Introduction to logic for systems modelling - Pinkava, Vaclav . (Cambridge : Clarendon Press, 1988)
NULL
Keywords: LOGIC,SYMBOLIC AND MATHEMATICAL