## The Lengths of Proofs (1998)

by
Pavel Pudlák

Citations: | 50 - 2 self |

### BibTeX

@MISC{Pudlák98thelengths,

author = {Pavel Pudlák},

title = {The Lengths of Proofs},

year = {1998}

}