file.pdf (1.27 MB)
Unprovability of Consistency Statements in Fragments of Bounded Arithmetic
journal contribution
posted on 1993-11-01, 00:00 authored by Samuel R. Buss, Aleksandar IgnjatovićSamuel R. Buss and Aleksandar Ignjatović. Unprovability of Consistency Statements in Fragments of Bounded Arithmetic.