121. A first course in mathematical logic and set theory /
پدیدآورنده : Michael L. O'Leary
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical,Mathematics,Set theory
رده :
QA9
122. A first journey through logic /
پدیدآورنده : Martin Hils, François Loeser.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical, Textbooks.,Mathematics, Textbooks.,Logic, Symbolic and mathematical.,Mathematical logic and foundations -- Instructional exposition (textbooks, tutorial papers, etc.),Mathematics.,Mathematische Logik
رده :
QA9
.
H52445
2019
123. A formalization of set theory without variables
پدیدآورنده : Tarski, Alfred.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
T37
1987
124. A formalization of set theory without variables
پدیدآورنده : Tarski, Alfred
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
T37
1987
125. A formalization of set theory without variables
پدیدآورنده : TARSKI,ALFRED
کتابخانه: (طهران)
موضوع : SET THEORY , LOGIC,SYMBOLIC & MATHEMATICAL
رده :
QA
248
.
T37
126. A formalization of set theory without variables
پدیدآورنده : Tarski, Alfred
کتابخانه: (طهران)
موضوع : ، Set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
T37
127. A formalization of set theory without variables /
پدیدآورنده : by Alfred Tarski and Steven Givant.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Set theory.,Logic, Symbolic and mathematical.,Ensembles, Théorie des.,Logique symbolique et mathématique.,Axiomatische Mengenlehre,Axiomatische Mengenlehre.,Logic, Symbolic and mathematical.,Mathematische Logik,Mathematische Logik.,Mengenlehre,Mengenlehre.,Set theory.,Teoria Dos Conjuntos.,Verzamelingen (wiskunde)
رده :
QA248
.
T37
1987
128. A framework for priority arguments
پدیدآورنده : Lerman, Manuel, 3491-
کتابخانه: (طهران)
موضوع : ، Proof theory,، Priority )Philosophy(,، Logic, Symbolic and mathematical
رده :
QA
9
.
A1L44
Vol
.
34
129. A friendly introduction to mathematical logic
پدیدآورنده : / Christopher C. Leary
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (طهران)
موضوع : م‍ن‍طق ک‍ام‍پ‍ی‍وت‍ری,Logic, Symbolic and mathematical
رده :
QA
۷۶
/
۹
/
م
۸
ل
۹ ۱۳۷۹
130. A friendly introduction to mathematical logic
پدیدآورنده : Leary, Christopher C.
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (طهران)
موضوع : ، Computer logic,، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
L63
L43
2000
131. A friendly introduction to mathematical logic /
پدیدآورنده : Christopher C. Leary
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer logic,Logic, Symbolic and mathematical
رده :
QA76
.
9
.
L63
L43
2000
132. A fuzzy PROLOG database system
پدیدآورنده : Li, Deyi
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Data base management,، Prolog )Computer program language(,، Logic programming,، Fuzzy systems
رده :
QA
76
.
9
.
D3
.
L52
1990
133. A general algebraic semantics for sentential logics
پدیدآورنده : Font, Josep Maria, 4591-
کتابخانه: (طهران)
موضوع : ، Algebraic logic
رده :
QA
9
.
A1L44
Vol
.
7
134. A general framework for reasoning on inconsistency
پدیدآورنده : Maria Vanina Martinez ... [et al.]
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer logic,Inconsistency (Logic),Logic design
رده :
TK7868
.
L6
G46
2013
135. A general interpreted modal calculus
پدیدآورنده : Bressan, Aldo
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Modality )Logic(,، Semantics )Philosophy(,، Description )Philosophy(,، Evidence
رده :
BC
199
.
M6
.
B73
1972
136. A hierarchy of Turing degrees :
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Unsolvability (Mathematical logic) ; Computable functions. ; Recursively enumerable sets. ;
137. A history and interpretation of the logic of Hegel
پدیدآورنده : Giacomo Rinaldi
کتابخانه: كتابخانه دانشكده ادبيات دانشگاه تهران (طهران)
موضوع : Hegel, Georg Wilhelm Friedrich, - 1770-1831. Phanomenologie des geistes,Logic, Modern--19th century.
138. A lattice of chapters of mathematics
پدیدآورنده : Jan Mycielski, Pavel Pudlák, and Alan S. Stern.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : First-order logic.,Lattice theory.,First-order logic.,Lattice theory.,MATHEMATICS-- Essays.,MATHEMATICS-- Pre-Calculus.,MATHEMATICS-- Reference.
139. A logic book :
پدیدآورنده : Robert M. Johnson.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic.
رده :
BC71
.
J48
2007
140. A logic book :
پدیدآورنده : Robert M. Johnson.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic.
رده :
BC71
.
J48
2007
