LABELLED DEDUCTIVE SYSTEMS by GABBAY, DOV M. (PROFESSOR, DEPARTMENT OF COMPUTING, IMPERIAL COLLEGE, LONDON) ISBN 0198538332

From Student Book World

Contents 1 LABELLED DEDUCTIVE SYSTEMS 1.1 Book Details 1.1.1 Title 1.1.2 Author 1.1.3 ISBN 1.1.4 Published 1.1.5 Publisher 1.1.6 Binding 1.1.7 Retail Price 1.1.8 Typical Price Online 2 Buy Book Online

[edit] LABELLED DEDUCTIVE SYSTEMS

This work 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.

[edit] Book Details

[edit] Title

LABELLED DEDUCTIVE SYSTEMS

[edit] Author

GABBAY, DOV M. (PROFESSOR, DEPARTMENT OF COMPUTING, IMPERIAL COLLEGE, LONDON)

[edit] ISBN

0198538332

[edit] Published

05/09/1996

[edit] Publisher

Oxford University Press

[edit] Binding

hardback

[edit] Retail Price

51.5 (GBP)

[edit] Typical Price Online

51.5 (GBP)

[edit] Buy Book Online

If you wish to purchase LABELLED DEDUCTIVE SYSTEMS, written by GABBAY, DOV M. (PROFESSOR, DEPARTMENT OF COMPUTING, IMPERIAL COLLEGE, LONDON) and published by Oxford University Press on 05/09/1996 then we have listed a few select online book retailers who can provide good value and service.

	ISBN 0198538332 BUY NOW