Conte aos seus amigos sobre este item:
Functional Interpretation of Logical Deduction, the - Advances in Logic De Queiroz, Ruy J G B (Ufpe, Brazil)
Preço
R$ 628,90
excluindo impostos
Item sob encomenda (no estoque do fornecedor)
Espera-se estar pronto para envio 1 - 7 de out
Receba avisos sobre novos lançamentos de De Queiroz, Ruy J G B (Ufpe, Brazil)
O que dizem nossos clientes:
Adicione à sua lista de desejos do iMusic
Functional Interpretation of Logical Deduction, the - Advances in Logic
De Queiroz, Ruy J G B (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
| Mídia | Livros Hardcover Book (Livro com lombada e capa dura) |
| Lançado | 2 de novembro de 2011 |
| ISBN13 | 9789814360951 |
| Editoras | World Scientific Publishing Co Pte Ltd |
| Páginas | 300 |
| Dimensões | 166 × 237 × 22 mm · 560 g |
![Cover for Marsh, Gerald E (Argonne National Laboratory (Retired), USA) · Force-free Magnetic Fields: Solutions, Topology and Applications (Hardcover Book) [Second edition] (2026)](https://imusic.b-cdn.net/images/item/original/948/9789819833948.jpg?marsh-gerald-e-argonne-national-laboratory-retired-usa-2026-force-free-magnetic-fields-solutions-topology-and-applications-hardcover-book&class=scaled&v=1786981299)