501. Posthumous writings
پدیدآورنده : Frege, Gottlob, 8481-5291
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Mathematics,، Logic, Symbolic and mathematical
رده :
QA
3
.
F73N213
502. Principa mathematica : to 56
پدیدآورنده : Whitehead, Alfred North
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Mathematics-- Philosophy,، Logic, Symbolic and mathematical
رده :
QA
9
.
W52
503. Principia mathematica
پدیدآورنده :
موضوع : Mathematics- Philosophy. ]from old catalog,Logic, Symbolic and mathematical. ]from old catalog[
۴ نسخه از این کتاب در ۴ کتابخانه موجود است.
504. Principia mathematica
پدیدآورنده : Alfred North Whitehead,Title
کتابخانه: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
موضوع : Mathematics,Mathematics- Philosophy,Logic, Symbolic and mathematical
رده :
QA
.
W59
9
505. Principia mathematica
پدیدآورنده : Whitehead, Alfred North
کتابخانه: Library of Mofid University (Qom)
موضوع : ، Mathematics,Philosophy ، Mathematics,، Logic, Symbolic and mathematical
رده :
QA9
.
W5
1927
506. Principia mathematica, to *56
پدیدآورنده : by Alfred North Whitehead and Bertrand Russell,Title
کتابخانه: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
موضوع : Mathematics- Philosophy,Logic, Symbolic and mathematical
رده :
QA
.
W52
9
1967
507. Principia mathematica to *56
پدیدآورنده : Whitehead, Alfred North
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Mathematics -- Philosophy,، Logic, Symbolic and mathematical
رده :
QA
9
.
W52
508. Principia mathematica, to *56
پدیدآورنده : Whitehead, Alfred North
کتابخانه: Library of Mofid University (Qom)
موضوع : Philosophy ، Mathematics,، Logic, Symbolic and mathematical
رده :
QA9
.
W52
1997
509. Principia mathematica to *56
پدیدآورنده : by Alfred North Whitehead and Bertrand Russell
موضوع : Mathematics -- Philosophy,Logic, Symbolic and mathematical
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
510. Principia mathematica : to * 56
پدیدآورنده : Whitehead, Alfred North, 1681-7491
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Mathematics -- Philosophy
رده :
QA
9
.
W5
1927
511. Principia mathematica, to 56
پدیدآورنده : / by Alfred North Whitehead and Bertrand Russell
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Mathematics- Philosophy,Logic, Symbolic and mathematical
رده :
QA9
.
W54
1978
512. Principia mathematica, to *56
پدیدآورنده : Whitehead, Alfred North
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : Philosophy ، Mathematics,، Logic, Symbolic and mathematical
رده :
QA
9
.
W52
1997
513. Principles of intuitionism
پدیدآورنده : Troelstra, Anne Sjerp
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Intuition,، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
Vol
.
95
514. Principles of intuitionism
پدیدآورنده : Trolstra, Anne Sjerp
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Intuition,، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
no
.
95
515. Proceedings
پدیدآورنده : Symposium on Logic in Computer Science )4th: 9891: Asilomar Conference Center, Pacific Grove, California(
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : ، Electronic data processing- Mathematics- Congresses,، Logic, Symbolic and mathematical- Congresses
رده :
QA
76
.
9
.
M35
S94
1989
516. Proceedings
پدیدآورنده : Tarski Symposium, 1791, University of California, Berkeley
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Mathematics-- Addresses, essays, lectures,، Logic, Symbolic and mathematical-- Addresses, essays, lectures,، Tarski, Alfred-- Bibliography
رده :
QA
7
.
T34
1971
517. 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
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Computer science - Mathematics - Congresses, Logic, Symbolic and mathematical - Congresses
رده :
QA
76
.
9
.
M35
S94
1994
518. Proceedings of the First Logic Congresses, May 5-7, 1990, Tehran, Iran
پدیدآورنده : Logic Congress )0991: Tehran, Iran(
موضوع : ، Logic, Symbolic and mathematical-- Congresses
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
519. Proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983
پدیدآورنده : edited by G. H. Muller and M. M. Richter
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Model theory,Congresses ، Set theory,Congresses ، Machine theory,Congresses ، Proof theory
رده :
QA
3
.
L28
Vol
.
1103
,
1104
520. Proceedings of the Second Scandinavian Logic Symposium
پدیدآورنده : Scandinavian Logic Symposium, 2d, 0791, University of Oslo
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic, Symbolic and mathematical - Congresses
رده :
QA
9
.
S32
1970