Functional Interpretation Of Logical Deduction, The - Advances In Logic - De Oliveira, Anjolina G (Univ Federal De Pernambuco (Ufpe), Brazil) - Books - World Scientific Publishing Co Pte Ltd - 9789814360951 - November 2, 2011
In case cover and title do not match, the title is correct

De Oliveira, Anjolina G (Univ Federal De Pernambuco (Ufpe), Brazil)
Functional Interpretation Of Logical Deduction, The - Advances In Logic

Price
$ 114.49
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jun 30 - Jul 6

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

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

Media Books     Hardcover Book   (Book with hard spine and cover)
Released November 2, 2011
ISBN13 9789814360951
Publishers World Scientific Publishing Co Pte Ltd
Pages 300
Dimensions 166 × 237 × 22 mm   ·   560 g

Mere med samme udgiver

See all of De Oliveira, Anjolina G (Univ Federal De Pernambuco (Ufpe), Brazil) ( e.g. Hardcover Book )