Advances In Logic-Reihe - tales-buecher.de

Große Auswahl an günstigen Büchern

Alles immer versandkostenfrei!

Schnelle Lieferung per Post und DHL

Reihenfolge der Serie

Functional Interpretation Of Logical Deduction, The

von Anjolina G (Univ Federal De Pernambuco (Ufpe) De Oliveira

127,00 €

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.
- Buch
- 127,00 €
Mehr erfahren