file.pdf (1.27 MB)
Download file

Unprovability of Consistency Statements in Fragments of Bounded Arithmetic

Download (1.27 MB)
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.

History

Publisher Statement

All Rights Reserved

Date

1993-11-01

Usage metrics

Categories

Keywords

Exports