The Unprovability of Small Inconsistency (1991)

by A Visser