TY  - BOOK
AU  - Meinke, K [ed.]
AU  - Tucker, J. V [ed.]
TI  - Many sorted logic and its applications
SN  - 0471934852
U1  - 511.3 
PY  - 1993///
CY  - Chichester
PB  - John Wiley
KW  - Many - Valued logic
N1  - Includes Index
ER  -