Pastāsti draugiem par šo preci:
Functional Interpretation of Logical Deduction, the - Advances in Logic De Queiroz, Ruy J G B (Ufpe, Brazil)
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
| Mediji | Grāmatas Hardcover Book (Grāmata ar cieto muguriņu un vāku) |
| Izlaists | 2011. gada 2. novembris |
| ISBN13 | 9789814360951 |
| Izdevēji | World Scientific Publishing Co Pte Ltd |
| Lapas | 300 |
| Izmēri | 166 × 237 × 22 mm · 560 g |