Andreas Weiermann. How is it that infinitary methods can be applied to finitary mathematics? Gödel's T: a case study. The journal of symbolic logic, vol. 63 (1998), pp. 1348–1370 [Review]
Publisher DOI
Date Issued
2002
Publication Type
Article
Language(s)
en
Additional Credits
Journal
The Bulletin of Symbolic Logic
Publisher
Cambridge University Press
ISSN
1079-8986
Access(Rights)
open.access