FREE-VARIABLE AXIOMATIC FOUNDATIONS OF INFINITESIMAL ANALYSIS - A FRAGMENT WITH FINITARY CONSISTENCY PROOF

Authors
CHUAQUI R SUPPES P
Citation
R. Chuaqui et P. Suppes, FREE-VARIABLE AXIOMATIC FOUNDATIONS OF INFINITESIMAL ANALYSIS - A FRAGMENT WITH FINITARY CONSISTENCY PROOF, The Journal of symbolic logic, 60(1), 1995, pp. 122-159
Citations number
12
Categorie Soggetti
Mathematics, Pure",Mathematics
Journal title
The Journal of symbolic logic → ACNP
ISSN journal
00224812
Volume
60
Issue
1
Year of publication
1995
Pages
122 - 159
Database
ISI
SICI code
0022-4812(1995)60:1<122:FAFOIA>2.0.ZU;2-V