Many sorted logic and its applications - Meinke, K [ed.]; Tucker, J. V [ed.] (Chichester John Wiley, 1993)
Includes Index
Keywords: Many - Valued logic