Kamide, Norihiro books & textbook
Proof Theory of N4-Paraconsistent Logics
Kamide, Norihiro Wansing, Heinrich
College Publications /2015-01-20 Paperback / 414 Pages
isbn-10: 1848901674 / isbn-13: 9781848901674
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
