1. <A> Concise introduction to pure mathematics
پدیدآورنده : \ Martin Liebeck.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, Symbolic and mathematical.,Mathematics.,منطق ریاضی ,ریاضیات
رده :
QA9
.
L478
2016
E-book
,
2. A Course on Mathematical Logi
پدیدآورنده : / by Shashi Mohan Srivastava
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Mathematics,Computer science,Algebra,Logic, Symbolic and mathematical,Electronic books
رده :
E-BOOK
3. <A> First Course in Mathematical Logic and Set Theory
پدیدآورنده : \ Michael L. O'Leary
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, symbolic and mathematical,Mathematics,Set theory,منطق ریاضی,ریاضیات,نظریه مجموعهها,a03,a04,a05,a03,a04,a05
رده :
QA
9
.
O4F5
2016
E-Book
,
4. A primer of formal logic
پدیدآورنده : By John C. Cooley
کتابخانه: كتابخانه دانشكده ادبيات دانشگاه تهران (طهران)
موضوع : Logic.,Logic, Symbolic and mathematical.,Mathematics - philosophy
5. A readable introduction to real mathematics
پدیدآورنده : Rosenthal, Daniel.
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Mathematics,، Logic, Symbolic and mathematical,، Mathematics - Problems, exercises, etc.
رده :
QA
93
.
R6
2014
6. Advanced mathematics :
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Mathematics ; Textbooks. ; Logic, Symbolic and mathematical ; Textbooks. ;
7. Algebra and computer science : "Joint AMS-EMS-SPM Meeting, Algebra and Computer Science, June 10-13, 2015, Porto, Portugal"; "Joint Mathematics Meeting, Groups, Algorithms, and Cryptography, January 10-13, 2015, San Antonio, TX"; "Joint AMS-Israel Mathematical Union Meeting, Applications of Algebra to Cryptography, June 16-19, 2014, Tel-Aviv, Israel"
پدیدآورنده : Delaram Kahrobaei, Bren Cavallo, David Garber, editors
کتابخانه: (طهران)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Algebra,Congresses ، Computer science -- Mathematics
رده :
QA
9
.
A1A42
8. An Invitation to Abstract Mathematic
پدیدآورنده : / by B?شla Bajnok
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Mathematics,Logic, Symbolic and mathematical,Electronic books
رده :
E-BOOK
9. An introduction to Mathematical thought. Reding, Mass
پدیدآورنده : Edward Russell Stabler
موضوع : Mathematics-philosophy,Logic,Symbolic and mathematical
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
10. An introduction to mathematical reasoning
پدیدآورنده : Iglewicz, Boris
کتابخانه: (طهران)
موضوع : ، Logic, Symbolic and mathematical,Problems, exercises, etc ، Mathematics
رده :
QA
9
.
I36I5
11. An introduction to mathematical thought
پدیدآورنده : Stabler, Edward Russell
کتابخانه: (طهران)
موضوع : Philosophy ، Mathematics,، Logic, Symbolic and mathematical
رده :
QA
9
.
S67
1953
12. An invitation to applied category theory :
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Categories (Mathematics) ; Computable functions. ; Logic, Symbolic and mathematical. ; Mathematical analysis. ;
13. Aspects of mathematical logic
پدیدآورنده : / edited by E. Casari
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Logic, Symbolic and mathematical, Congresses,Mathematics, Philosophy, Congresses
رده :
QA9
.
A1C56
2010
14. Automata, logics, and infinite games
پدیدآورنده : Erich Gradel, Wolfgang Thomas, Thomas Wilke )eds.(
کتابخانه: (طهران)
موضوع : ، Computer science -- Mathematics,، Machine theory,، Logic, Symbolic and mathematical,، Game theory
رده :
QA
76
.
L28
Vol
.
2500
15. Automata, logics, and infinite games
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer science ; Mathematics ; Machine theory ; Logic, Symbolic and mathematical ; Game theory ;
16. Automata, logics, and infinite games
پدیدآورنده : Erich Gradel, Wolfgang Thomas, Thomas Wilke )eds.(
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Computer science - Mathematics,، Machine theory,، Logic, Symbolic and mathematical,، Game theory
رده :
QA
76
.
9
.
M35
A85
2002
17. Basic concepts of mathematics and logic
پدیدآورنده : Gemignani, Michael C
کتابخانه: (طهران)
موضوع : ، Mathematics,، Logic, Symbolic and mathematical
رده :
QA
39
.
G38
18. Basic concepts of mathematics and logic
پدیدآورنده : / Michael C. Gemignani
کتابخانه: المكتبة المركزية بجامعة تبريز و مركز التوثيق والنشر (أذربایجان الشرقیة)
موضوع : Mathematics,Logic, symbolic and mathematical
رده :
QA39
.
G38
19. Basice concepts of mathematics and logic
پدیدآورنده : Gemignani,Michel C
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Mathematics,، Logic, Symbolic and mathematical
رده :
QA
39
.
G38
20. Bertrand Russell and Origins of the origins of the set-theroeti 'paradoxes'
پدیدآورنده : Garciadiego Dantan, Alejandro Ricardo.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Logic, Symbolic and mathematical,، Set theory,، Paradoxes,، Russell, Bertrand, 2781-0791. Principles of mathematics
رده :
QA
9
.
G2413
1992