TY  - BOOK
AU  - Barry, Vincent E. 
TI  - Practical logic
SN  - 0030568368
PY  - 1980///
CY  - New York
PB  - Holt, Rinehart & Winston
KW  - Logic
ER  -