We a good story
Quick delivery in the UK

Labelled Deductive Systems

- Volume 1

About Labelled Deductive Systems

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.

Show more
  • Language:
  • English
  • ISBN:
  • 9780198538332
  • Binding:
  • Hardback
  • Pages:
  • 510
  • Published:
  • September 5, 1996
  • Dimensions:
  • 161x240x33 mm.
  • Weight:
  • 870 g.
Delivery: 2-3 weeks
Expected delivery: October 21, 2024

Description of Labelled Deductive Systems

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.

User ratings of Labelled Deductive Systems



Find similar books
The book Labelled Deductive Systems can be found in the following categories:

Join thousands of book lovers

Sign up to our newsletter and receive discounts and inspiration for your next reading experience.