Foundations of infinitesimal calculus
作者： H. Jerome Keisler
DOI:
关键词:
摘要:
amazon.com
enzoexposito.it 参考文章(3)
Th. Skolem, Über die Nicht-charakterisierbarkeit der Zahlenreihe mittels endlich oder abzählbar unendlich vieler Aussagen mit ausschliesslich Zahlenvariablen Fundamenta Mathematicae. ,vol. 23, pp. 150- 161 ,(1934) , 10.4064/FM-23-1-150-161
Edwin Hewitt, Rings of real-valued continuous functions. I Transactions of the American Mathematical Society. ,vol. 64, pp. 45- 99 ,(1948) , 10.1090/S0002-9947-1948-0026239-9
Leon Henkin, Completeness in the theory of types Journal of Symbolic Logic. ,vol. 15, pp. 81- 91 ,(1950) , 10.2307/2266967