1. Bridge to abstract mathematics /
پدیدآورنده : Ralph W. Oberste-Vorth, Aristides Mouzakitis, Bonita A. Lawrence
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Axioms,Logic, Symbolic and mathematical, Textbooks,Mathematics, Textbooks,Number theory,Set theory
2. Foundations of a structural theory of set addition
پدیدآورنده : Freiman, G. A.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Number theory,، Set theory
رده :
QA
241
.
F7413
3. 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
4. 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
5. 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
6. Le transfini : sa logique et sa metaphysique
پدیدآورنده : Par Marcel Lallemand
کتابخانه: كتابخانه دانشكده ادبيات دانشگاه تهران (تهران)
موضوع : Transfinite numbers,Number concept,Set theory
7. Mathematical problems and proofs
پدیدآورنده : / Branislav Kisaecanin
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Combinatorial analysis,Set theory,Number theory,Geometry
رده :
QA164
.
K57
1998
8. Mathematical problems and proofs
پدیدآورنده : / Branislav Kisaecanin
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Combinatorial analysis,Set theory,Number theory,Geometry
رده :
QA164
.
K57
1998
9. Mathematical problems and proofs
پدیدآورنده : / Branislav Kisaecanin
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Combinatorial analysis,Set theory,Number theory,Geometry
رده :
QA164
.
K57
1998
10. Mathematical problems and proofs :
پدیدآورنده : Branislav Kisačanin.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Combinatorial analysis.,Geometry.,Number theory.,Set theory.
رده :
QA164
.
K57
1998
11. Mathematical problems and proofs :combinatorics, number theory, and geometry]CD[
پدیدآورنده : Kisacanin, Branislav,Branislav Kisacanin
موضوع : ، Combinatorial analysis,، Set theory,، Number theory,، Geometry
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
12. #Numbers, sets, and axioms
پدیدآورنده : #A.G. Hamilton
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع : Arithmetic -- Foundations ،Set theory ،Number theory
رده :
#
QA
،#.
H35
13. Numbers, sets, and axioms :
پدیدآورنده : A.G. Hamilton.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Arithmetic-- Foundations.,Number theory.,Set theory.,Arithmétique-- Fondements.,Ensembles, Théorie des.,Nombres, Théorie des.,Arithmetic-- Foundations.,Arithmétique-- Fondements.,Ensembles, Théorie des.,Nombres, Théorie des.,Number theory.,Set theory.
رده :
QA248
.
H27
1982
14. Numbers, sets, and axioms : the apparatus of mathematics
پدیدآورنده : Hamilton, A. G.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Arithmetic-- Foundations,، Set theory,، Number theory
رده :
QA
248
.
H27
1982
15. Pensare l'infinito :
پدیدآورنده : Filippo Costantini.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Bolzano, Bernard,1781-1848.,Cantor, Georg,1845-1918.,Bolzano, Bernard,1781-1848.,Cantor, Georg,1845-1918.,Infinite.,Mathematics-- Philosophy.,Set theory.,Transfinite numbers-- History.,Infinite.,Mathematics-- Philosophy.,Set theory.,Transfinite numbers.
رده :
B4805
.
B654
C67
2016
16. Proof, logic, and conjecture :
پدیدآورنده : Robert S. Wolf.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Number theory.,Set theory.
رده :
QA9
.
W748
1998
17. Proof, logic, and conjecture : the mathematician's toolbox
پدیدآورنده : Wolf, Robert S.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Set theory,، Number theory
رده :
QA
9
.
W65
18. Sets and numbers
پدیدآورنده : Swierczkowski, S.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Set theory,، Number theory
رده :
QA
248
.
S94
1972
19. Sets and numbers
پدیدآورنده : Swierczkowski, S.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Set theory,، Number theory
رده :
QA
248
.
S94
1972
20. Sets and numbers
پدیدآورنده : aSwierczkowski, S.,by S. aSwierczkowski
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Set theory,، Number theory
رده :
QA
248
.
S94