TY - GEN AU - Mortari Cezar A . TI - Introdução à lógica PY - 2001/// CY - S P̥aulo PB - UNESP KW - Mortari Cezar A ER -