Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
Menzler-Trott, Eckart
2001.
Gentzens Problem.
p.
37.
Plato, Jan von
2009.
Logic from Russell to Church.
Vol. 5,
Issue. ,
p.
667.
HÄMEEN-ANTTILA, MARIA
2019.
NOMINALISTIC ORDINALS, RECURSION ON HIGHER TYPES, AND FINITISM.
The Bulletin of Symbolic Logic,
Vol. 25,
Issue. 1,
p.
101.