41. Equality, resemblance and order
پدیدآورنده : Schreider, Ju.A
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Set theory
رده :
QA
9
.
S53
1975
42. Finite and infinite combinatorics in sets and logic
پدیدآورنده : edited by N.W. Sauer, R.E. Woodrow, and B. Sands
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Combinatorial analysis - Congresses , Set theory - Congresses , Logic, Symbolic and mathematical - Congresses
رده :
QA
164
.
N38
1991
43. Finite and infinite combinatorics in sets and logic: ]proceedings of the NATO Advanced Study Institute on Finite and Infinite Combinatorics in Sets and Logic, Banff, Alberta, Canada, April 21-May 4, 1991[
پدیدآورنده : edited by N.W. Sauer, R.E. Woodrow, and B. Sands
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses. ، Combinatorial analysis,Congresses. ، Set theory,Congresses. ، Logic, Symbolic and mathematical
رده :
QA
164
.
N38
1991
44. Foundations of computing : system development with set theory and logic
پدیدآورنده : Scheurer, Thierry
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، System design,، Set theory,، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
S88
.
S29
1994
45. Foundations of computing : system development with set theory and logic
پدیدآورنده : Scheurer, Thierry.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : System design , Set theory , Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
S88
S29
1994
46. Foundations of logic and mathematics: applications to computer science and cryptography
پدیدآورنده : Nievergelt, Yves
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Set theory,، Number theory,، Computer science-- Mathematics
رده :
QA
9
.
N53
2002
47. Foundations of logic and mathematics : applications to computer science and cryptography
پدیدآورنده : Nievergelt, Yves
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Set theory,، Number theory,، Computer science -- Mathematics
رده :
QA
9
.
N53
2002
48. Foundations of logic and mathematics : applications to computer science and cryptography
پدیدآورنده : Nievergelt, Yves, 4591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Set theory,، Number theory,، Computer science
رده :
QA
9
.
N5
49. Fundamental concepts of modern mathematics
پدیدآورنده : Larsen, Max D.
موضوع : ، Logic, Symbolic and mathematical,، Arithmetic-- Foundations,، Set theory
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
50. Fundamentals of mathematical logic /
پدیدآورنده : Peter G. Hinman.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Model theory.,Recursion theory.,Set theory.,Logic, Symbolic and mathematical.,MATHEMATICS-- General.,Model theory.,Recursion theory.,Set theory.
رده :
QA9
.
H527
2005
51. Fundamentals of mathematics
پدیدآورنده : Bernd S. W. Schreoder
کتابخانه: کتابخانه و مرکز اطلاع رسانی آیت الله ایمانی دانشگاه سلمان فارسی (فارس)
موضوع : Set theory,Logic, Symbolic and mathematical
رده :
QA
248
.
S36F8
2010
52. Fundamentals of mathematics: an introduction to proofs, logic, sets, and numbers
پدیدآورنده : Schroder, Bernd S. W. )Bernd Siegfried Walter(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
S358
2010
53. ISILC Logic Conference: proceedings of the International Summer Institute and Logic Collcquium, Kiel, 1974
پدیدآورنده : International Summer Institute and Logic Colloquium, University of Kiel
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Set theory
رده :
QA
3
.
L28
no
.
499
54. ISILC Logic Conference : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974
پدیدآورنده : edited by G. H. Muller, A. Oberschelp, K. Potthoff
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Set theory
رده :
QA
1
.
L4
v
.
499
55. ISILC Logic Conference : proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974
پدیدآورنده : edited by G. H. Muller, A. Oberschelp, and K. Potthoff
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Set theory
رده :
QA
3
.
L28
Vol
.
499
56. ISILC Logic Conference: proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Set theory
رده :
QA
3
.
L28
no
.
499
57. Infinity and the mind: the science and philosophy of the infinite
پدیدآورنده : / by Rucker
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اراک (مرکزی)
موضوع : Logic,symbolic and mathematical,Set theory,Infinite
رده :
511
.
3
R911i
58. Infinity and the mind : the science and philosophy of the infinite
پدیدآورنده : Rucker, Rudy v. B.)Rudy von Bitter(
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Set theory,، Infinite
رده :
QA
9
.
R79
1982b
59. Introduction aux mathematiques de l,analyse economique
پدیدآورنده : / Rene Passet
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Set theory,Logic, Symbolic and mathematical,Abelian groups
رده :
QA248
.
M513
1971
60. Islic logic conferene
پدیدآورنده : / edited by G. H. Muller, A. Oberschelp and K. Potthoff
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Logic, Symbolic and mathematical - Congresses,Set theory - Congresses
رده :
510
.
8
L471
No
.
499
