TY - BOOK AU - Earle, Nick TI - Logic U1 - 511.3 PY - 1973/// CY - London, Canada PB - Macmillan, KW - Lógica Matemática ER -