Unprovability of Consistency Statements in Fragments of Bounded Arithmetic (1995)

by Samuel R. Buss , Aleksandar Ignjatovic
Citations:4 - 2 self