TY - BOOK AU - Swart, Henricus C. M. de TI - Logic SN - 3-631-45434-1 PY - 1993/// CY - Frankfurt am Main PB - Verlag Peter Lang KW - Lógica KW - Informática KW - BC57 ER -