21. Logic, methodology and philosophy of science
پدیدآورنده: / Edited by Yehoshua Bar-Hillel
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه علامه طباطبایی (تهران)
موضوع:
رده :
BC135
،.
I58
1964
22. Logic, methodology and philosophy of science IV. Proceedings
پدیدآورنده: Ed. by Patrick Suppes )a. o.(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Logic, Symbolic and mathematical,Congresses ، Methodology,Congresses ، Science - Philosophy
رده :
BC
135
.
I55
1971
23. Logic, methodology and philosophy of science IX
پدیدآورنده: / edited by Dag Prawitz, Brian Skyrms, Dag Westersteahl
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Science--Philosophy--Congresses,Science--Methodology--Congresses,Logic, Symbolic and mathematical--Congresses
رده :
Q
,
174
,.
I58
,
1991
24. Logic, methodology and philosophy of science IX : proceedings of the Ninth International Congress of Logic, Methodology, and Philosophy of Science, Uppsala, Sweden, August 7-14, 1991
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Science-- Philosophy-- Congresses,، Science-- Methodology-- Congresses,، Logic, Symbolic and mathematical-- Congresses
رده :
Q
174
.
I58
1991
25. Logic, methodology and philosophy of science; proceedings
پدیدآورنده : International Congress for Logic, Methodology, and Philosophy of Science )2nd: 4691: Jerusalem(
موضوع : ، Logic, Symbolic and mathematical-- Congresses,، Science-- Methodology-- Congresses,، Science-- Philosophy-- Congresses
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
26. Logic, methodology, and philosophy of science VI
پدیدآورنده: / edited by L. Jonathan Cohen ... [et al.]
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Logic, Symbolic and mathematical--Congresses,Methodology--Congresses,Science--Philosophy--Congresses
رده :
QA
,
9
,.
A1
,
I57
,
1979
27. Logic, methodology, and philosophy of science VI :
پدیدآورنده: edited by L. Jonathan Cohen ... [et al.]
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Logic, Symbolic and mathematical-- Congresses,Methodology-- Congresses,Science-- Philosophy-- Congresses
رده :
QA9
.
A1
I57
1979
28. Logic, methodology, and philosophy of science, VII :
پدیدآورنده: edited by Ruth Barcan Marcus, Georg J.W. Dorn, Paul Weingartner
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Logic, Symbolic and mathematical-- Congresses,Science-- Methodology-- Congresses,Science-- Philosophy-- Congresses
رده :
Q174
.
I58
1983
29. Logic, methodology, and philosophy of science, VII
پدیدآورنده: / edited by Ruth Barcan Marcus, Georg J.W. Dorn, Paul Weingartner
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Science--Philosophy--Congresses,Science--Methodology--Congresses,Logic, Symbolic and mathematical--Congresses
رده :
Q
,
174
,.
I58
,
1983
30. Logic, methodology and philosophy of science VII : Proceedings of the International Congress of Logic, Methodology, and Philosophy, Salzburg 1983
پدیدآورنده: edited by Ruth Barcan Marcus, Georg J. W. Dorn, Paul Weingarther
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Science -- Philosophy,Congresses ، Science -- Methodology,Congresses ، Logic, Symbolic and mathematical
رده :
Q
174
.
I58
1983
31. Proceedings of the first logic congress : May 5-7, 1990 Tehran, Iran
پدیدآورنده: edited by S. Etemad, M.J.A. Larijani, Z. Movahed
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Logic, Symbolic and mathematical
رده :
QA
9
.
L64
1990
32. Reflections on the foundations of mathematics : essays in honor of Solomon Feferman
پدیدآورنده: edited by Wilfried Sieg, Richard Sommer, Carolyn Talcott
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics -- Philosophy
رده :
QA
9
.
A1L44
Vol
.
15
33. <The> theory of models
پدیدآورنده: / Edited by J.W. Addison, Lعeon Henkin [and] Alfred Tarski
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه علامه طباطبایی (تهران)
موضوع:
رده :
BC135
،.
I5
1965
34. The theory of models
پدیدآورنده: edited by J.W. Addison, Leon Henkin, Alfred Tarski.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Logic, Symbolic and mathematical, Congresses.,Mathematical models, Congresses.
35. The theory of models; proceedings
پدیدآورنده:
کتابخانه: کتابخانه دانشکده اقتصاد دانشگاه تهران (تهران)
موضوع: Logic Symbolic and mathematical models-Congresses
رده :
BC
135
.
I586
36. The theory of models; proceedings
پدیدآورنده: Edited by J.W. Addison, Leon Henkin )and( Alfred Tarski
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematical models
رده :
BC
135
.
I586
1963
37. Towards Mathematical Philosophy
پدیدآورنده: \ David Makinson, Jacek Malinowski, Heinrich Wansing Editors
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic, Symbolic and mathematical -- Congresses. ,Mathematics -- Philosophy -- Congresses. ,منطق ریاضی -- کنگره‌ها ,ریاضیات -- فلسفه -- کنگره ها
رده :
E-Book
,
38. Towards mathematical philosophy
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Logic, Symbolic and mathematical ; Congresses. ; Mathematics ; Philosophy ; Congresses. ;
39. Towards mathematical philosophy
پدیدآورنده: / edited by David Makinson, Jacek Malinowski, Heinrich Wansing
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Logic, Symbolic and mathematical--Congresses,Mathematics--Philosophy--Congresses
رده :
QA
,
9
,.
A1
,
T68
,
2008
40. Towards mathematical philosophy : papers from the studia logica conference Trends in logic IV
پدیدآورنده: edited by David Makinson, Jacek Malinowski, Heinrich Wansing
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics -- Philosophy
رده :
QA
9
.
A1S78
2006
