Gödel’s correspondence on proof theory and constructive mathematics
by
W. W. Tait
| Citations: | 3 - 1 self |
Developed at and hosted by The College of Information Sciences and Technology
© 2007-2010 The Pennsylvania State University