Introduction to logic for systems modelling
By: Václav Pinkava.
Series: Information technology and systems series
Publisher: Abacus Press
Published: 1988
Place of publication: Cambridge, Mass
Language: eng
Number of pages: 132
Subjects: Logic, Symbolic and mathematical.; Machine theory.; Many-valued logic.