Paraconsistent Logic

Chris Tao