TY - BOOK AU - Beth,Evert W TI - Aspects of modern logic PY - 1970/// CY - Dordrecht PB - Reidel KW - Lógica matemática ER -