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.

History

Publisher Statement

All Rights Reserved

Date

1993-11-01

Usage metrics

Categories

Philosophy

Keywords

Licence

Exports