TY  - BOOK
AU  - Sperchneider,Volker
AU  - Antoniou,G.
TI  - Logic: a foundation for computer science 
SN  - 0201565145
PY  - 1991///
CY  - Wokingham, Eng.
PB  - Addison-Wesley
KW  - Computer science
KW  - Logic, Symbolic and mathematical
N1  - references p. 485-490
ER  -