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 logic and mathematics
پدیدآورنده: / Yves Nievergelt
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Logic, Symbolic and mathematical,Set theory,Number theory,Computer science -- Mathematics
رده :
QA
9
.
N53
2002
3. Foundations of logic and mathematics : applications to computer science and cryptography
پدیدآورنده: Yves Nievergelt
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Logic, Symbolic and mathematical,، Set theory,، Number theory,، Computer science
رده :
QA
9
.
N5
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. Proof, logic, and conjecture :
پدیدآورنده: Robert S. Wolf.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical.,Number theory.,Set theory.
رده :
QA9
.
W748
1998
6. Proof, logic, and conjecture : the mathematician's toolbox
پدیدآورنده: Robert S. Wolf
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Logic, Symbolic and mathematical,، Set theory,، Number theory
رده :
QA
9
.
W65
7. Sets, logic
پدیدآورنده: / [by] Clayton W. Dodge
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)
موضوع: Number theory,Logic, Symbolic and mathematical,Set theory
رده :
QA241
.
D6
