TY  - BOOK
AU  - Svecová,Jana
TI  - Oxford Basics: Cross-Curricular Activities 
T2  - Oxford texts in logic
SN  - 0194421880
U1  - 428.66 
PY  - 2005///
CY  - Oxford, New York
PB  - Oxford University Press
KW  - IDIOMAS
N1  - Basics -- Formal proof -- Disproof -- Proof of programs
ER  -