TY - BOOK TI - desenvolvimento da lógica PY - 1962/// CY - Lisboa PB - Fundação Calouste Gulbenkian ER -