Date of Original Version

11-1993

Type

Technical Report

Rights Management

All Rights Reserved

Abstract or Description

Samuel R. Buss and Aleksandar Ignjatović. Unprovability of Consistency Statements in Fragments of Bounded Arithmetic.

Comments

CMU-PHIL-43

Included in

Philosophy Commons

Share

COinS