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

View PDF

Download Links

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