2014 - Proof Theory Sequent Calculi and Related Formalisms [Discrete Mathematics and Its Applications] (Hardcover) ISBN-13: 9781466564664 ISBN-10: 1466564660 Genres: Computers & Technology, Reference, Science & Math ? 2011 - Combinatory Logic Pure Applied and Typed [Discrete Mathematics and Its Applications] (Hardcover) ISBN-13: 9781439800003 ISBN-10: 1439800006 Genres: Computers & Technology, Science & Math ? 2008 - Generalized Galois Logics Relational Semantics of Nonclassical Logical Calculi [Center for the Study of Language and Information - Lecture Notes] (Hardcover) → Paperback ISBN-13: 9781575865737 ISBN-10: 1575865734 ? 2008 - Generalized Galois Logics Relational Semantics of Nonclassical Logical Calculi [Center for the Study of Language and Information - Lecture Notes] (Paperback) → Hardcover ISBN-13: 9781575865744 ISBN-10: 1575865742 ? |