481. Non-commutative Multiple-Valued Logic Algebra
پدیدآورنده : / electronic resource
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Mathematics,Algebra,Logic, Symbolic and mathematical,Distribution (Probability theory),Mathematics,Mathematical Logic and Foundations,Order, Lattices, Ordered Algebraic Structures,Probability Theory and Stochastic Processes,Measure and Integration
رده :
E-BOOK
482. Non-Standard analysis
پدیدآورنده : Abraham Robinson
موضوع : Mathematical analysis,Logic, Symbolic and mathematical
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
483. Non-standard analysis
پدیدآورنده : Robinson, Abraham
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Nonstandard mathematical analysis,، Logic, Symbolic and mathematical
رده :
QA
299
.
82
.
R6
1974
484. ]Omega[-bibliography of mathematical logic
پدیدآورنده : edited by Gert H. Muller; in coll. with Wolfgan Lenski
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Bibliography ، Logic, Symbolic and mathematical
رده :
Z
6654
.
M26047
485. On gorup- theoretic decision problems and their classification
پدیدآورنده : Miller, Charles F
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Group, Theory of,، Logic, Symbolic and mathematical
رده :
QA
1
.
A626
no
.
68
486. On group - Theoretic decision problems and their classification
پدیدآورنده : Miller, Charles F. 1491-
کتابخانه: Central Library and Documents Center of Al-Zahra University (Tehran)
موضوع : ، Group , theory of,، Logic , Symbolic and mathematical
رده :
QA
171
.
M48
487. On group-theoretic decision problems and their classification
پدیدآورنده : Miller, Charles F., 1491-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Group theory,، Logic, Symbolic and mathematical
رده :
QA
171
.
M48
1971
488. On group-theoretic decision problems and their classification
پدیدآورنده : Miller, Charles F
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Group theory,، Logic, Symbolic and mathematical
رده :
QA
1
.
A626
no
.
68
489. On group-theoretic decision problems and their classification
پدیدآورنده : Miller, Charles F
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Groups, Theory of,، Logic, Symbolic and mathematical
رده :
QA
171
.
M48
490. Optimization and computational logic
پدیدآورنده : McAloon, Kenneth.
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Linear programming , Mathematical optimization , Logic, Symbolic and mathematical
رده :
T
57
.
74
.
M39
1996
491. Optimization and computational logic
پدیدآورنده :
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Linear programming,Mathematical optimization,Logic, Symbolic and mathematical
492. Optimization methods for logical inference
پدیدآورنده : Chandru, Vijay
کتابخانه: (Semnan)
موضوع : ، Combinatorial optimization,، Logic, Symbolic and mathematical
رده :
QA
402
.
5
.
C4O6
493. Optimization methods for logical inference
پدیدآورنده : Chandru, Vijay
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Combinatorial optimization,، Logic, Symbolic and mathematical
رده :
QA
402
.
5
.
C447
1999
494. Optimization methods for logical inference
پدیدآورنده : Chandru, Vijay, 3591-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Combinatorial optimization,، Logic, Symbolic and mathematical
رده :
QA
402
.
5
.
C45
495. Phenomenology, logic, and the philosophy of mathematics
پدیدآورنده : Tieszen, Richard L.
کتابخانه: Central Library and Documents Center of Al-Zahra University (Tehran)
موضوع : Philosophy ، Mathematics,، Phenomenology,، Logic, Symbolic and mathematical,، Constructive mathematics,، Intuitionistic mathematics
رده :
QA
8
.
4
.
T534
2005
496. Phenomenology, logic, and the philosophy of mathematics
پدیدآورنده : Tieszen, Richard L.
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Mathematics -- Philosophy,، Phenomenology,، Logic, Symbolic and mathematical,، Constructive mathematics,، Intuitionistic mathematics
رده :
QA
8
.
4
.
T53P45
497. Philosophical aspects of symbolic reasoning in early modern mathematics
پدیدآورنده : / edited by Albrecht Heeffer and Maarten Van Dyck
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Logic, Symbolic and mathematical, History, Congresses
رده :
E-BOOK
498. Philosophical grammar
پدیدآورنده : Wittgenstein, Ludwig
کتابخانه: Library of Mofid University (Qom)
موضوع : ، Grammar, Comparative and general,، Logic, Symbolic and mathematical,، Inference,Philosophy ، Mathematics
رده :
B3376
.
W563
P52613
1974
499. Philosophical remarks
پدیدآورنده : Wittgenstein, Ludwig, 9881-1591
کتابخانه: Library of Document Center and Great Islamic Encyclopedia Center (Tehran)
موضوع : ، Semantics )Philosophy(,، Logic, Symbolic and mathematical,Philosophy ، Mathematics
رده :
B3376
.
W563
P413
1964