A note on finiteness in the predicative foundations of arithmetic

Authors
Citation
F. Ferreira, A note on finiteness in the predicative foundations of arithmetic, J PHILOS LO, 28(2), 1999, pp. 165-174
Citations number
6
Categorie Soggetti
Philosiphy
Journal title
JOURNAL OF PHILOSOPHICAL LOGIC
ISSN journal
00223611 → ACNP
Volume
28
Issue
2
Year of publication
1999
Pages
165 - 174
Database
ISI
SICI code
0022-3611(199904)28:2<165:ANOFIT>2.0.ZU;2-2