Labelled Deductive Systems: Volume 1 - Oxford Logic Guides - Gabbay, Dov M. (Professor, Department of Computing, Professor, Department of Computing, Imperial College, London) - Books - Oxford University Press - 9780198538332 - September 5, 1996
In case cover and title do not match, the title is correct

Gabbay, Dov M. (Professor, Department of Computing, Professor, Department of Computing, Imperial College, London)
Labelled Deductive Systems: Volume 1 - Oxford Logic Guides

Price
$ 134.49
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jun 25 - Jul 7

Our customers say:

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

This book introduces a new unifying framework for logics which makes it particularly suitable for applications. It develops its general theory and illustrates it with applications in logic, computer science, artificial intelligence, and philosophy.

510 pages, line figures

Media Books     Hardcover Book   (Book with hard spine and cover)
Released September 5, 1996
ISBN13 9780198538332
Publishers Oxford University Press
Pages 510
Dimensions 161 × 240 × 33 mm   ·   870 g
Language English  

Mere med samme udgiver

See all of Gabbay, Dov M. (Professor, Department of Computing, Professor, Department of Computing, Imperial College, London) ( e.g. Hardcover Book )