عنوان
پدید آورنده
موضوع
رده
QA9.2 .G55 2005
QA9
.
2
.
G55
2005
کتابخانه
محل استقرار
1568812752
1568812760
9781568812755
9781568812762
b420195
Logicism renewed :
[Book]
logical foundations for mathematics and computer science /
Paul C. Gilmore
xvii, 230 pages ;
24 cm
Lecture notes in logic ;
23
Includes bibliographical references (pages 215-223) and index
Logic, Symbolic and mathematical
511
.
3
22
QA9
.
2
.
G55
2005
Gilmore, Paul C., (Paul Carl),1925-
20060416000000.0
rda
مطالعه متن کتاب [Book]
Y
