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: || Item type | Location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
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.