[55381]


Analysis and synthesis of logics : how to cut and paste reasoning systems / Walter Carnielli...[et al.]. — Dordrecht, Netherlands : Springer, cop. 2008. — xvi, 600 p. : il. ; 24 cm. — (Applied Logic Series ; 35). — Includes Bibliography, Subject index, Table of symbols, List of figures.

ISBN 978-1-4020-6781-5 Lógica matemática / Lógica simbolica e matemática /

CDU 510.6

Biblioteca da Universidade da Madeira
Telefone (geral): 291705070. Responsável: Doutora Iolanda Silva - email: iolanda.silva@staff.uma.pt; Serviço de Referência: Mestre Hélder Maurício - email: helder.mauricio@staff.uma.pt; Serviço de Gestão Digital: Dr. António Freitas – email: antonio.freitas@staff.uma.pt
Morada: Campus Universitário da Penteada, 9000-390 - Funchal - Madeira

Powered by Koha