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

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