Skip to main content
PBS logo
 
 

Search - Compiled Labelled Deductive Systems: A Uniform Presentation of Non-Classical Logics (Studies in Logic and Computation)

Compiled Labelled Deductive Systems: A Uniform Presentation of Non-Classical Logics (Studies in Logic and Computation)
Compiled Labelled Deductive Systems A Uniform Presentation of NonClassical Logics - Studies in Logic and Computation
Author: Dov M. Gabbay, Luis C. Lamb, Alessandra Russo
This second edition provides information about the most recent developments in the field of computer relaying (First edition was published in 1988). It also provides numerous solved examples to explain several of the more complex topics. The list of references has been brought up to date, and the subject index has been greatly expanded.
ISBN-13: 9780863802966
ISBN-10: 0863802966
Publication Date: 11/30/2004
Pages: 343
Rating:
  ?
0 stars, based on 0 rating
Publisher: Institute of Physics Publishing (GB)
Book Type: Hardcover
Members Wishing: 0
Reviews: Amazon | Write a Review



Back to the Top ↑
By using this Web site, you confirm that you have read, understood, and agreed to be bound by the Terms of Use. As an Amazon Associate we earn from qualifying purchases.
US Patent Number 7,877,315 | Copyright © 2004 - 2024 PaperBackSwap.com. All Rights Reserved.