عنوان
پدید آورنده
موضوع
رده
QA 8.4 .L634
QA
8
.
4
.
L634
کتابخانه
محل استقرار
Logicism, intuitionism, and formalism : what has become of them?
Dordrecht
Springer
c2009
xii, 512 p.: ill
Synthese library : studies in epistemology, logic, methodology, and philosophy of; v.143
Includes bibliographies
ISBN: 9781402089251
edited by Sten Lindstrom ... ]et al.[
1
، Intuitionistic mathematics
Philosophy -- History ، Mathematics
QA
8
.
4
.
L634
TI
AU Lindstrom, Sten, 1945-
SE Synthese library 341
