1.
Extending resource-aware logics: Proof systems, semantics and applications
by Norihiro Kamide
ISBN: 9783844324280
List Price: $111.00
2.
Proof Theory of N4-Paraconsistent Logics
by Kamide, Norihiro, Wansing, ...
ISBN: 9781848901674
List Price: $20.50