TY  - BOOK
AU  - Binford Fredrick
TI  - Solutions to the exercises in first course in mathematical logic
U1  - B:R1, K52 
PY  - 1965///
KW  - Maths
ER  -