Introduction to logic for systems modelling /

Bibliographic Details

Main Author:	Pinkava, Václav
Format:	Book
Language:	English
Published:	Cambridge, Mass. : Abacus Press, 1988.
Series:	Information technology and systems series.
Subjects:	Logic, Symbolic and mathematical. Machine theory. Many-valued logic.