2004 - Compiled Labelled Deductive Systems a Uniform Presentation of Nonclassical Logics [Studies in Logic and Computation] (Hardcover) ISBN-13: 9780863802966 ISBN-10: 0863802966 ? |
2004 - Compiled Labelled Deductive Systems a Uniform Presentation of Nonclassical Logics [Studies in Logic and Computation] (Hardcover) ISBN-13: 9780863802966 ISBN-10: 0863802966 ? |