Paperback
Add to list Added to list Proof Theory of N4-Paraconsistent Logics
Norihiro Kamide,Heinrich Wansing (Universitat Leipzig)
The present book is the first monograph ever with a central focus on the proof theory of paraconsistent logics in the vicinity of the four-valued, constructive paraconsistent logic N4 by…
Available to order, ships in 7-14 daysAvailable to order