TY  - BOOK
AU  - Rosser J B
AU  - Turquette A R
TI  - Many-valued logic
U1  - 511.3 
PY  - 1952///
CY  - Amsterdam
PB  - North Holland
KW  - Mathematical logic
ER  -