Recomienda este artículo a tus amigos:
Functional Interpretation Of Logical Deduction, The - Advances In Logic De Oliveira, Anjolina G (Univ Federal De Pernambuco (Ufpe), Brazil)
Precio
$ 114,99
sin IVA
Pedido desde almacén remoto
Entrega prevista 25 de jun. - 8 de jul.
Nuestros clientes opinan:
Añadir a tu lista de deseos de iMusic
Functional Interpretation Of Logical Deduction, The - Advances In Logic
De Oliveira, Anjolina G (Univ Federal De Pernambuco (Ufpe), Brazil)
By uncovering a certain harmony between a functional calculus on the labels and a logical calculus on the formulas, this book allows mathematical foundations for systems of logic presentation designed to handle meta-level features at the object-level via a labelling mechanism, such as the D Gabbay's Labelled Deductive Systems.
300 pages
| Medios de comunicación | Libros Hardcover Book (Libro con lomo y cubierta duros) |
| Publicado | 2 de noviembre de 2011 |
| ISBN13 | 9789814360951 |
| Editores | World Scientific Publishing Co Pte Ltd |
| Páginas | 300 |
| Dimensiones | 166 × 237 × 22 mm · 560 g |
