عنوان
پدید آورنده
موضوع
رده
QA8.4eb
QA8
.
4eb
کتابخانه
محل استقرار
1402089252
1402089260 (e-isbn)
9781402089251
9781402089268 (e-isbn)
dltt
Logicism, intuitionism, and formalism
[Book]
what has become of them? /
edited by Sten Lindström ... [et al.]
[Dordrecht] :
Springer,
c2009
512 p. :
ill. :
25 cm
Synthese library : studies in epistemology, logic, methodology, and philosophy of science ;
v. 341
Also available in print
Springer
978-1-4020-8925-1
OhioLINK electronic book center (Online)
SpringerLink
Intuitionistic mathematics
Mathematics-- Philosophy-- History
510
.
1
22
QA8
.
4eb
Lindström, Sten,1945-
20090804112840.0
مطالعه متن کتاب [Book]
Y
