TY - GEN AU - Alencar Filho, Edgard De TI - Iniciação à lógica matemática SN - 85-213-0403-X PY - 1995/// CY - São Paulo PB - Nobel KW - Matemática KW - Lógica matemática KW - 511.3 ER -