TY  - BOOK
AU  - COHEN CARL
TI  - INTRODUCTION TO LOGIC / 
U1  - 160 
PY  - 1994///
CY  - [S.N] : 
PB  - MACMILLAN PUBLBISHING COMPANY ، 
KW  - LOGIC PROGRAMMING
ER  -