TY  - BOOK
AU  - Fitting Melvin
TI  - Frist- Order Logic and A
SN  - 9.78E+12
U1  - 511 
CY  - U.S.A
ER  -