ISBN 9783844324280 books & textbook

Extending resource-aware logics: Proof systems, semantics and applications

LAP LAMBERT Academic Publishing /2011-03-29 Paperback / 268 Pages
isbn-10: 3844324283 / isbn-13: 9783844324280