TY  - BOOK
AU  - Binford, Frederick
TI  - Solutions to the exercises in first course in mathematical logic
N1  - B31 K5
ER  -