TY  - BOOK
AU  - Swart, H. C. M. de
TI  - Logic : mathematics, language, computer science, and philosophy
SN  - 3631454341
SN  - 93242938
U1  - 511.3 SWA 
PY  - 1993///-1994
CY  - Bern
PB  - Peter Lang
KW  - Logic, Symbolic and mathematical
N1  - Includes bibliographical references and indexes
ER  -