Login

Type of document: Typescript

Language: English

Author(s): Pudlák, Pavel

Title: On the Length of Proofs of Finitistic Consistency Statements in First Order Theories

Year:

Pages: 1-34

Catalog