TY  - BOOK
AU  - HOWARD POSPESEL
TI  - INTRODUCTION TO LOGIC PROPOSITIONAL LOGIC
SN  - 0-13-025849-0
U1  - 160/POS/INT 
PY  - 2000///
CY  - NEW JERSEY
PB  - PRENTICE HALL
KW  - LOGIC
KW  - PHILOSOPHY
ER  -