Conte aos seus amigos sobre este item:
Labelled Deduction - Applied Logic Series Softcover reprint of the original 1st ed. 2000 edition
David Basin
Preço
HK$ 893,58
Item sob encomenda (no estoque do fornecedor)
Data prevista de entrega 9 - 17 de out
O que dizem nossos clientes:
Adicione à sua lista de desejos do iMusic
Labelled Deduction - Applied Logic Series Softcover reprint of the original 1st ed. 2000 edition
David Basin
Labelled deduction is an approach to providing frameworks for presenting and using different logics in a uniform and natural way by enriching the language of a logic with additional information of a semantic proof-theoretical nature.
278 pages, black & white illustrations, bibliography
| Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
| Lançado | 8 de outubro de 2012 |
| ISBN13 | 9789401057813 |
| Editoras | Springer |
| Páginas | 267 |
| Dimensões | 155 × 235 × 15 mm · 399 g |
| Editor | Basin, David |
| Editor | D'Agostino, M. |
| Editor | Gabbay, Dov M. |
| Editor | Matthews, Sean |
| Editor | Vigano, Luca |
Mostrar tudo
Mais por David Basin
![Cover for David Basin · Applied Information Security: A Hands-on Approach (Paperback Book) [2011 edition] (2013)](https://imusic.b-cdn.net/images/item/original/321/9783642436321.jpg?david-basin-2013-applied-information-security-a-hands-on-approach-paperback-book&class=scaled&v=1408499770)
![Cover for David Basin · Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings - Lecture Notes in Computer Science (Paperback Book) [2003 edition] (2003)](https://imusic.b-cdn.net/images/item/original/648/9783540406648.jpg?david-basin-2003-theorem-proving-in-higher-order-logics-16th-international-conference-tphols-2003-rom-italy-september-8-12-2003-proceedings-lecture-notes-in-computer-science-paperback-book&class=scaled&v=1485716445)
Ver tudo de David Basin ( por exemplo Paperback Book e Hardcover Book )