TY - BOOK AU - Nérici,Imídeo Giuseppe TI - Introdução à lógica PY - 1978/// CY - São Paulo PB - Nobel KW - Lógica - Definição KW - Lógica Formal ER -