TY  - BOOK
AU  - RICHARD E. HODEL
TI  - AN INTRODUCTION TO MATHEMATICALL LOGIC
AV  - QA7.H63 1995 
ER  -