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 - November 14, 1996
In case cover and title do not match, the title is correct

Labelled Deductive Systems: Volume 1 - Oxford Logic Guides

Price
Íkr 17,269
excl. VAT

Ordered from remote warehouse

Expected delivery Aug 20 - Sep 3
Get notified about new Gabbay, Dov M. (Professor, Department of Computing, Professor, Department of Computing, Imperial College, London) releases
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 November 14, 1996
ISBN13 9780198538332
Publishers Oxford University Press
Pages 510
Dimensions 161 × 240 × 33 mm   ·   889 g
Language English  

More from the same publisher