21. Foundations of mathematics

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع : ، Mathematics-- Philosophy,، Logic, Symbolic and mathematical

رده :
QA
9
.
H34

22. Foundations of mathematics. Symposium papers commemorating the sixtieth birthday of Kurt Godel

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع : ، Logic, Symbolic and mathematical,، Mathematics-- Philosophy,، Godel, Kurt

رده :
QA
9
.
F58

23. Frege :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Frege, Gottlob,1848-1925.,Analysis (Philosophy),Language and languages-- Philosophy.,Logic, Symbolic and mathematical.,Logic.,Mathematics-- Philosophy.

رده :
B3245
.
F24
B43
1996

24. Frege, Gottlob

کتابخانه: (طهران)

موضوع : ریاضیات, -- فلسفه,Mathematics - Philosophy,Number concept,Arithmetic - Foundations,Logic, Symbolic and mathematical

25. Frege :philosophy of mathematics

پدیدآورنده :

کتابخانه: كتابخانه دانشگاه مفيد (قم)

موضوع : ، Frege, Gottlob,8481-5291,Philosophy ، Mathematics,، Logic, Symbolic and mathematical

26. Frege. philosophy of mathematics

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Mathematics -- Philosophy,Foundations ، Mathematics,، Logic, Symbolic and mathematical

رده :
QA
8
.
4
.
D85F7

27. Frege's philosophy of mathematics

پدیدآورنده :

کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)

موضوع : Mathematics -- Philosophy,Mathematics -- Foundations,Logic, Symbolic and mathematical

رده :
QA
.
F74
8
.
6
1995

28. Frege's philosophy of mathematics

موضوع : ، Mathematics-- Philosophy,، Mathematics-- Foundations,، Logic, Symbolic and mathematical

۲ نسخه از این کتاب در ۲ کتابخانه موجود است.

29. From Frege to Godel; a source book in mathematical logic, 1879-1931

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع : ، Logic, Symbolic and mathematical-- Addresses, essays, lectures,، Mathematics-- Philosophy-- Addresses, essays, lectures

رده :
QA
9
.
V3

30. From Frege to Godel; a source book in mathematical logic, 1879-1931

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Addresses, essays, lectures ، Logic, Symbolic and mathematical,Addresses, essays, lectures ، Mathematics -- Philosophy

رده :
QA
9
.
V34

31. From mathematics to philosophy

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Knowledge, Theory of,، Logic, Symbolic and mathematical,، Mathematics -- Philosophy

رده :
BD
161
.
W27
1974

32. From mathematics to philosophy

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Knowledge, Theory of,، Logic, Symbolic and mathematical,، Mathematics -- Philosophy

رده :
BD
161
.
W26F7

33. From mathematics to philosophy

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع : ، Knowledge, Theory of,، Logic, Symbolic and mathematical,Philosophy ، Mathematics

رده :
BD
161
.
W27
1974b

34. From mathematics to philosophy

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع : ، Knowledge, Theory of,، Logic, Symbolic and mathematical,، Mathematics-- Philosophy

رده :
BD
161
.
W27
1974b

35. Godel'96: logical foundations of mathematics, computer science, and physics-- Kurt Godel's Legacy

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics-- Philosophy,Congresses ، Computer science,Congresses ، Mathematical physics

رده :
QA
9
.
A1
.
G6
1996a

36. Godel'96 : logical foundations of mathematics, computer science and physics-Kurt Godel's Legacy, Bruno]sic[, Czech Republic, August 1996, proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics -- Philosophy,Congresses ، Computer science,Congresses ، Mathematical physics

رده :
QA
9
.
A1L44
Vol
.
6

37. Godel '96: logical foundations of mathematics, computer science, and physics-kurt Godel's legacy: Bruno ]sic[, Czech Republic, August 1996, proceedings

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع : Congresses ، Logic, Symbolic and mathematical,Philosophy - Congresses ، Mathematics,Congresses ، Computer science,Congresses ، Mathematical physics

رده :
QA
9
.
A1
G6
1996

38. Grundlagen der Mathematik

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع : ، Mathematics-- Philosophy,، Logic, Symbolic and mathematical

رده :
QA
9
.
H52

39. Handbook of Set Theory

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Mathematics. ; Logic. ; Science ; Philosophy. ; Logic, Symbolic and mathematical. ; Mathematics. ; Mathematical Logic and Foundations. ; Logic. ; Philosophy of Science. ;

40. Inexhaustibility : a non-exhaustive treatment

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Incompleteness theorems,، Logic, Symbolic and mathematical,، Mathematics -- Philosophy

رده :
QA
9
.
A1L44
Vol
.
16