TY - BOOK AU - Kneale AU - Kneale AU - Lourenço TI - O desenvolvimento da lógica T2 - Manuais Universitários PY - 1980/// CY - Lisboa PB - Fundação Calouste Gulbenkian KW - Lógica KW - 16 KW - BN KW - por ER -