The Lengths of Proofs (1998)

Cached

Download Links

by Pavel Pudlák
Citations:50 - 2 self