Cover image
Normal view MARC view ISBD view

Analysis and synthesis of logics : how to cut and paste reasoning systems / Walter Carnielli...[et al.]

Secondary Author: Carnielli, Walter, 070Language:eng.Country: NL.Publication:Dordrecht, Netherlands : Springer, cop. 2008Description: xvi, 600 p. : il. ; 24 cmISBN: 978-1-4020-6781-5.Series: Applied Logic Series, 35Bibliography: Includes Bibliography, Subject index, Table of symbols, List of figures.Subject - Topical Name: |
Tags from this library: No tags from this library for this title. Add tag(s)
Log in to add tags.
    average rating: 0.0 (0 votes)
Item type Location Call number Status Date due Barcode
Livro Livro
510.6 ANA (Browse shelf) Available B97973

Includes Bibliography, Subject index, Table of symbols, List of figures

There are no comments for this item.

Log in to your account to post a comment.

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