Skip to main content
PBS logo
 
 

Search - Labelled Deductive Systems: Volume 1 (Oxford Logic Guides)

Labelled Deductive Systems: Volume 1 (Oxford Logic Guides)
Labelled Deductive Systems Volume 1 - Oxford Logic Guides
Author: Dov M. Gabbay
This important book provides a new unifying methodology for logic. It replaces the traditional view of logic as manipulating sets of formulas with the notion of structured families of labelled formulas with algebraic structures. This approach has far reaching consequences for the methodology of logics and their semantics, and the book studies th...  more »
ISBN-13: 9780198538332
ISBN-10: 0198538332
Publication Date: 11/14/1996
Pages: 512
Rating:
  ?

0 stars, based on 0 rating
Publisher: Oxford University Press, USA
Book Type: Hardcover
Members Wishing: 0
Reviews: Amazon | Write a Review