Vista normal Vista MARC Vista ISBD

Svecová, Jana, 1944-

Oxford Basics: Cross-Curricular Activities / Hana Svecová - Oxford ; New York Oxford University Press, 2005 - xix , 62 p. : il. ; 27 cm. - Oxford texts in logic ; 2 .

Basics -- Formal proof -- Disproof -- Proof of programs.

ISBN: 0194421880

Subjects--Topical Terms:
IDIOMAS

Dewey Class. No.: 428.66 / S968