TY - BOOK AU - Grings,Dadeus TI - Lógica formal PY - 1986/// CY - Porto Alegre PB - Grafosul KW - Grings, Dadeus KW - Lógica formal KW - Lógica Formal ER -