Pastāsti draugiem par šo preci:
Labelled Deduction - Applied Logic Series David Basin Softcover reprint of the original 1st ed. 2000 edition
Labelled Deduction - Applied Logic Series
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
| Mediji | Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru) |
| Izlaists | 2012. gada 8. oktobris |
| ISBN13 | 9789401057813 |
| Izdevēji | Springer |
| Lapas | 267 |
| Izmēri | 155 × 235 × 15 mm · 399 g |
| Redaktors | Basin, David |
| Redaktors | D'Agostino, M. |
| Redaktors | Gabbay, Dov M. |
| Redaktors | Matthews, Sean |
| Redaktors | Vigano, Luca |
Vairāk no David Basin
Rādīt visuMere med samme udgiver
Skatīt visus David Basin ( piem., Paperback Book un Hardcover Book )