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
Íkr 17,039
excl. VAT

Ordered from remote warehouse

Expected delivery Nov 5 - 19
Christmas presents can be returned until 31 January
Get notified about new Gabbay, Dov M. (Professor, Department of Computing, Professor, Department of Computing, Imperial College, London) releases

Our customers say:

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

Not rated yet

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  

More from the same publisher

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