Introduction to logic for systems modelling /
Pinkava, Václav.
Cambridge, Mass. : Abacus Press,
1988.
Logic, Symbolic and mathematical.
Machine theory.
Many-valued logic.