TY  - BOOK
AU  - Hadfgield,Jill
TI  - Oxford Basics: presenting new language 
T2  - Oxford texts in logic
SN  - 0194421678
U1  - 428.66 
PY  - 2005///
CY  - Oxford, New York
PB  - Oxford University Press
KW  - IDIOMAS
N1  - Basics -- Formal proof -- Disproof -- Proof of programs
ER  -