TY  - BOOK
AU  - Sperschneider, V.
AU  - Antoniou, G.
TI  - Logic : a foundation for computer science
SN  - 0-201-56514-5
U1  - 004 
PY  - 1991///
CY  - Wokingham
PB  - Addison
KW  - Artificial intelligence
KW  - Computer science
KW  - Modules
KW  - Proof theory: Model theory
N1  - Includes bibliographical references and index; na
ER  -