William W. Tait
(2010-2019)
XPrimitive recursive arithmetic and its role in the foundations of arithmetic
2012
in: Epistemology versus ontology, Dordrecht : Springer
(2010-2019)
XPrimitive recursive arithmetic and its role in the foundations of arithmetic
2012
in: Epistemology versus ontology, Dordrecht : Springer