301. Principia mathematica, to *56
پدیدآورنده: by Alfred North Whitehead and Bertrand Russell,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Mathematics- Philosophy,Logic, Symbolic and mathematical
رده :
QA
.
W52
9
1967
302. Principia mathematica to *56
پدیدآورنده: Whitehead, Alfred North
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: ، Mathematics -- Philosophy,، Logic, Symbolic and mathematical
رده :
QA
9
.
W52
303. Principia mathematica, to *56
پدیدآورنده: Whitehead, Alfred North
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع: Philosophy ، Mathematics,، Logic, Symbolic and mathematical
رده :
QA9
.
W52
1997
304. Principia mathematica, to *56
پدیدآورنده : By Alfred North Whitehead and Bertrand Russell
موضوع : Mathematics--Philosophy.,Logic, Symbolic and mathematical.
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
305. Principia mathematica : to * 56
پدیدآورنده: Whitehead, Alfred North, 1681-7491
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Logic, Symbolic and mathematical,، Mathematics -- Philosophy
رده :
QA
9
.
W5
1927
306. Principia mathematica, to 56
پدیدآورنده: / by Alfred North Whitehead and Bertrand Russell
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Mathematics- Philosophy,Logic, Symbolic and mathematical
رده :
QA9
.
W54
1978
307. Principia mathematica, to *56
پدیدآورنده: Whitehead, Alfred North
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: Philosophy ، Mathematics,، Logic, Symbolic and mathematical
رده :
QA
9
.
W52
1997
308. Principia mathematical
پدیدآورنده: / Alfred North Whitehead and Bertrand Russell
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع: Logic, symbolic and mathematical,Mathematics
رده :
511
.
3
Wh-P
309. Principia mathematical to 56
پدیدآورنده: / by Alfred North Whitehead and Bertrand Russell,Whitehead
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع: Mathematics -- Philosophy,Logic, symbolic and mathematical
رده :
QA
9
.
W52
310. Proceedings
پدیدآورنده: Symposium on Logic in Computer Science )4th: 9891: Asilomar Conference Center, Pacific Grove, California(
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، Electronic data processing- Mathematics- Congresses,، Logic, Symbolic and mathematical- Congresses
رده :
QA
76
.
9
.
M35
S94
1989
311. Proceedings
پدیدآورنده: Tarski Symposium, 1791, University of California, Berkeley
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Mathematics-- Addresses, essays, lectures,، Logic, Symbolic and mathematical-- Addresses, essays, lectures,، Tarski, Alfred-- Bibliography
رده :
QA
7
.
T34
1971
312. Proceedings Symposium on Logic in Computer Science, LICS 94, CNAM, paris France, July 4-7, 1994
پدیدآورنده: sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing INRIA
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Computer science - Mathematics - Congresses, Logic, Symbolic and mathematical - Congresses
رده :
QA
76
.
9
.
M35
S94
1994
313. Proceedings of the 19th annual IEEE Symposium on Logic in Computer Science, LICS 2004, Turku, Finland, 13-17 July 2004
پدیدآورنده: Sponsored by IEEE Technical Committee on Mathematical Foundations of Computing with support from Academy of Finland...]et al.[
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: Congresses ، Computer science -- Mathematics,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
S94
2004
314. Proceedings : 15th annual Symposium on Logic in Computer Science, June 26-28, 2000, Santa Barbara, California
پدیدآورنده: sponsored by IEEE Computer Society Technical Committee on the Mathematical Foundations of Computing; in cooperation with Association for Symbolic Logic and European Association for Theoretical Computer Science; with support from Kestrel Institute,...
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer science -- Mathematics,Congresses ، Logic, Symbolic and mathematical
رده :
QA
75
.
5
.
I38
2000
315. Proof and knowledge in mathematics
پدیدآورنده: edited by Michael Detelfsen
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Mathematics -- Philosophy,، Logic, Symbolic and mathematical
رده :
QA
8
.
4
.
P766
316. Proofs and Fundamentals
پدیدآورنده: by Ethan D. Bloch.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical.,Mathematics.
317. Proofs and refutations : the logic of mathematical discovery
پدیدآورنده: Lakatos, Imre, 2291-4791.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Mathematics -- Philosophy,، Logic, Symbolic and mathematical
رده :
QA
8
.
4
.
L35
1976
318. Publications 1929-1936
پدیدآورنده: / Kurt G?�del
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Logic, Symbolic and mathematical.,Mathematics.
رده :
QA9
,.
G5313
,
1986eb
319. Pure mathematics
پدیدآورنده: / by J.K. Backhouse, S.P.T. Houldsworth and B.E.D. Cooper
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Logic, Symbolic and mathematical,Mathematics
رده :
QA9
.
B23
1974
320. Purity, spectra and localisation
پدیدآورنده: Prest, Mike
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Logic, Symbolic and mathematical,، Categories )Mathematics(
رده :
QA
9
.
P74P8
