research
Book Review: The journal of symbolic logic: Weiermann Andreas . 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
- Publication date
- 2 August 2017
- Publisher