Inconsistent Models of Arithmetic Part II: The General Case.

Graham Priest
Published in: J. Symb. Log. (2000)