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

Labelled Deductive Systems: Volume 1 - Oxford Logic Guides

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

Price
zł 512.90

Ordered from remote warehouse

Expected delivery May 26 - Jun 5

Our customers say:

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

Labelled Deductive Systems: Volume 1 - Oxford Logic Guides

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

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