Gödel’s correspondence on proof theory and constructive mathematics
by
W. W. Tait
| Citations: | 3 - 1 self |
Document Versions
| Gödel’s correspondence on proof theory and constructive mathematics –W. W. Tait |
