The unprovability of small inconsistency (1993)

by A Visser
Venue:Archive for Mathematical Logic