Title: Sistemas formais inconsistentes
Subjects: Nonclassical mathematical logic, Symbolic and mathematical Logic