Main image
Click to view image in fullscreen
![]()
Functional Interpretation Of Logical Deduction, The
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.
1 200,00 DH
En stock
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.
| ISBN / EAN | 9789814360951 |
|---|---|
| Auteur | De Oliveira, Anjolina G (Univ Federal De Pernambuco (Ufpe), Brazil) |
| Editeur | World Scientific Publishing Co Pte Ltd |