Book

On the theory of inconsistent formal systems

by Newton C. A. da Costa