All Formats & Editions
1 - 2 of 2 results found
Labelled Deduction
By Dov M. Gabbay and Sean Matthews
Edition Description
Labelled deduction is an approach to providing frameworks for presenting and using different logics in a uniform and natural way by enriching the language of a logic with additional information of a semantic proof-theoretical nature. Labelled deduction systems often possess attractive...
Edition Details
Format:Hardcover
Language:English
ISBN:0792362373
Format: Hardcover
Condition:
$
109.99
Labelled Deduction
By Dov M. Gabbay and Sean Matthews
Edition Description
Labelled deduction is an approach to providing frameworks for presenting and using different logics in a uniform and natural way by enriching the language of a logic with additional information of a semantic proof-theoretical nature. Labelled deduction systems often possess attractive...
Edition Details
Format:Paperback
Language:English
ISBN:9401057818
Format: Paperback
Condition:
$
109.99
Copyright © 2026 Thriftbooks.com Terms of Use
| Privacy Policy | Do Not
Sell/Share My Personal Information | Cookie Policy | Cookie Preferences | Accessibility Statement
ThriftBooks® and the ThriftBooks® logo are registered trademarks of Thrift Books Global, LLC
ThriftBooks® and the ThriftBooks® logo are registered trademarks of Thrift Books Global, LLC
