1. Foundations of Logic and Mathematics
المؤلف: by Yves Nievergelt.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Data encryption (Computer science).,Logic, Symbolic and mathematical.,Mathematics.,Number theory.
2. Inconsistent Mathematics
المؤلف: by Chris Mortensen.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Algebra-- Data processing.,Logic, Symbolic and mathematical.,Logic.,Mathematics.
3. Logic and arithmetic
المؤلف: Bostock, David.
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Arithmetic-- Foundations,، Logic, Symbolic and mathematical,، Number theory
رده :
QA
248
.
B725
4. Logic and arithmetic.
المؤلف:
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Arithmetic-- Foundations.,Logic, Symbolic and mathematical.,Number theory.
رده :
QA248
.
B725
5. The logic of Infinity /
المؤلف: Barnaby Sheppard
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical,Set theory
رده :
QA248
.
S44
2014
6. Towards an arithmetical logic :
المؤلف: by Yvon Gauthier
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical,Mathematics-- Philosophy
رده :
QA1-939
