TY  - BOOK
AU  - 49
TI  - A  FirstCourse  In  Modern  Logic
ER  -