Functional Interpretation Of Logical Deduction, The
Book Details
Format
Hardback or Cased Book
Book Series
Advances In Logic
ISBN-10
9814360953
ISBN-13
9789814360951
Publisher
World Scientific Publishing Co Pte Ltd
Imprint
World Scientific Publishing Co Pte Ltd
Country of Manufacture
GB
Country of Publication
GB
Publication Date
Nov 2nd, 2011
Print length
300 Pages
Weight
560 grams
Dimensions
23.70 x 16.60 x 2.20 cms
Product Classification:
Mathematical theory of computation
Ksh 16,400.00
Werezi Extended Catalogue
Delivery in 28 days
Delivery Location
Delivery fee: Select location
Delivery in 28 days
Secure
Quality
Fast
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.
Get Functional Interpretation Of Logical Deduction, The by at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by World Scientific Publishing Co Pte Ltd and it has pages.
