2201. The algebra of logic
المؤلف: / by Louis Couturat
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Logic, Symbolic and mathematical
رده :
BC
135
C87
,
E5
1914
2202. The algebraic theory of switching circuits
المؤلف: MOISIL,GRIGORE C
المکتبة: (طهران)
موضوع: SWITCHING THEORY , LOGIC,SYMBOLIC & MATHEMATICAL , FIELDS,ALGEBRAIC
رده :
QA
401
.
M5513
1969
2203. The algebraic theory of switching circuits
المؤلف: Moisil, Grigore C.
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Switching theory,، Logic, Symbolic and mathematical,، Algebraic fields,، Field, Albebraic
رده :
QA
401
.
M5513
1969
2204. The algebraic theory of switching circuits,
المؤلف: by Gr. C. Moisil
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Algebraic fields,Logic, Symbolic and mathematical,Switching theory
2205. The anatomy of mathematics
پدیدآورنده : Kershner, Richard Brandon
موضوع : ، Logic, Symbolic and mathematical,، Mathematics
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
2206. The anatomy of mathematics
المؤلف: / by r.B. Kershner [and] L.R. Wilcox,Kershnev
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع: Mathematics,Logic, Symbolic and mathematical
رده :
QA
9
.
K38
2207. The axiomatic method; an introduction to mathematical logic
المؤلف: Lightstone, A. H.
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Logic, Symbolic and mathematical,، Axioms,، Mathematics-- Philosophy
رده :
QA
248
.
L53
2208. The basic laws of arithmetic;
المؤلف: Translated and edited, with an introd., by Montgomery Furth.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical.
رده :
BC135
.
F6813
1964
2209. The basic laws of arithmetic; exposition of the system
المؤلف: Frege, Gottlob
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Logic, Symbolic and mathematical
رده :
BC
135
.
F6813
1964
2210. The birth of model theory :
المؤلف: Calixto Badesa ; translated by Michael Maudsley ; revised by the author
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Löwenheim, Leopold,1878-1957,Logic, Symbolic and mathematical,Model theory
رده :
QA9
.
7
.
B23
2004
2211. The calculi of lambda - conversion
المؤلف: Church
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع: Logic, Symbolic and mathematical,Functions
رده :
QA
331
.
C4
2212. The classical decision problem
المؤلف: / Egon Borger, Erich Gradel, Yuri Gurevich
المکتبة: مكتبات الكلية التقنية بجامعة طهران (طهران)
موضوع: Decidability (Mathematical logic)
رده :
QA
9
.
65
.
B64
1997
2213. The classical decision problem
المؤلف: Borger, Egon, 6491-
المکتبة: (طهران)
موضوع: ، Decidability )Mathematical logic(
رده :
QA
9
.
65
.
B62
2214. The classical decision problem
المؤلف: Boerger, Egon
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Decidability )Mathematical logic(
رده :
QA
9
.
65
.
B64
1997
2215. The classical decision problem /
المؤلف: Egon Börger, Erich Grädel, Yuri Gurevich
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Decidability (Mathematical logic)
رده :
QA9
.
65
.
B64
1997
2216. The classical decision problem
المؤلف: Boerger, Egon
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Decidability )Mathematical logic(
رده :
QA
9
.
65
.
B64
1997
2217. The collected papers of Gerhard Gentzen.
المؤلف: Edited by M. E. Szabo
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical,Metamathematics
رده :
QA9
.
G329
2218. The collected works of J. Richard Buchi
المؤلف: Buchi, J. Richard, 4291-4891
المکتبة: (طهران)
موضوع: ، Machine theory,، Logic, Symbolic and mathematical,، Buchi, J. Richard, 4291-4891
رده :
QA
267
.
B79
1990
2219. The computer modelling of mathematical reasoning /
المؤلف: Alan Bundy, Department of Artificial Intelligence, Edinburgh.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Automatic theorem proving.,Logic, Symbolic and mathematical.,Mathematics-- Data processing.,Intelligence artificielle.,Anwendung,ARTIFICIAL INTELLIGENCE.,Automatic theorem proving.,Automatisches Beweisverfahren,Computersimulaties.,Inteligencia Artificial (Computacao),Künstliche Intelligenz,Logic, Symbolic and mathematical.,Logique symbolique et mathématique.,Mathematics-- Data processing.,Mathematik,Mathematik.,Mathématiques-- Informatique.,Redeneren.,THEOREM PROVING.,Théorèmes-- Démonstration automatique.,Wiskunde.
رده :
QA76
.
95
.
B86
1983
2220. The computer modelling of mathematical reasoning
المؤلف: Bundy, Alan
المکتبة: (طهران)
موضوع: Data processing ، Mathematics,، Logic, Symbolic and mathematical,، Automatic theorem proving
رده :
QA
76
.
95
.
B86
