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