file.pdf (1.27 MB)
Download file

Unprovability of Consistency Statements in Fragments of Bounded Arithmetic

Download (1.27 MB)
journal contribution
posted on 01.11.1993, 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

01/11/1993

Usage metrics

Categories

Keywords

Exports