Gödel’s correspondence on proof theory and constructive mathematics

Cached

Download Links

by W. W. Tait
Citations:3 - 1 self