561. Logicism renewed : logical foundations for mathematics and computer science
پدیدآورنده : Gilmore, Paul Carl, 5291-
کتابخانه: (طهران)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
A1L44
Vol
.
23
562. Logique mhathematique
پدیدآورنده : / Stephen Kleene; traduction de Jean Largeault
کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع : Mathematics - Philosophy,Logic, symbolic and mathematical
رده :
511
.
3
K63
563. Many-Valued Logics :
پدیدآورنده : by Leonard Bolc, Piotr Borowik.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Logic, Symbolic and mathematical.
رده :
QA9
.
45
B954
1992
564. Many Valued Topology and its Applications
پدیدآورنده : by Ulrich Höhle.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Mathematics.,Topology.
565. Many-sorted logic and its applications
پدیدآورنده : edited by K. Meinke and J.V. Tucker
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Computer science - Mathematics,، Logic, Symbolic and mathematical,، Artificial intelligence
رده :
QA
76
.
9
.
M35
M35
1993
566. Mathematical Epistemology and Psychology.
پدیدآورنده : Beth, E.W.; Piaget, J.; Mays, W.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic machines.,Logic, Symbolic and mathematical.,Mathematics -- Philosophy.
567. Mathematical Principles of Fuzzy Logic
پدیدآورنده : by Vilém Novák, Irina Perfilieva, Jiří Močkoř.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Electronic data processing.,Logic, Symbolic and mathematical.,Mathematics.
568. Mathematical Reasoning :
پدیدآورنده :
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Reasoning.,Logic, Symbolic and mathematical.,MATHEMATICS-- Essays.,MATHEMATICS-- Pre-Calculus.,MATHEMATICS-- Reference.,Reasoning.
رده :
QA9
.
M347
569. Mathematical Thought :
پدیدآورنده : by Evert W. Beth.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Philosophy (General),Science -- Philosophy.
رده :
QA9
.
B948
1965
570. Mathematical epistemology and psychology
پدیدآورنده : Beth, Evert Willem, 8091-4691
کتابخانه: (طهران)
موضوع : ، Logic, Symbolic and mathematical,، Mathematics -- Philosophy,، Logic machines,Mathematical models ، Psychology,، Knowledge, Theory of
رده :
BC
135
.
B4413
571. Mathematical foundations of computer science 1993 :
پدیدآورنده : Andrzej M. Borzyszkowski, Stefan Sokołowski, eds.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science -- Mathematics -- Congresses.,Computer science -- Mathematics.,Informatique -- Mathématiques -- Congrès
رده :
QA76
.
9
.
M35
A537
1993
572. Mathematical interpretation of formal systems
پدیدآورنده : by Th. Skolem )and others(
موضوع : ، Logic, Symbolic and mathematical
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
573. Mathematical logic
پدیدآورنده : / J. Donald Monk
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Logic, Symbolic and mathematical
رده :
QA9
.
M68
574. Mathematical logic
پدیدآورنده : Kleene, Stephen Cole
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : philosophy ، Mathematics,، Logic, Symbolic and mathematical
رده :
QA
9
.
K652
575. Mathematical logic
پدیدآورنده : H. - D. Ebbinghaus, J. Flum, W. Thomas
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (أذربایجان الشرقیة)
موضوع : Logic, Symbolic and mathematical
رده :
QA
,
9
,.
E2213
,
1994
576. Mathematical logic
پدیدآورنده : Kleene, Stephen Cole,9091-
موضوع : ، Mathematics- Philosophy,، Logic, Symbolic and mathematical
۴ نسخه از این کتاب در ۴ کتابخانه موجود است.
577. Mathematical logic
پدیدآورنده : Kleene, Stephen Cole
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Mathematics - Philosophy,، Logic, Symbolic and mathematical
رده :
QA
9
.
K652
578. Mathematical logic
پدیدآورنده : / H. D. Ebbinghaus, J. Flum, W. Thomas
کتابخانه: المكتبة المركزية ومركز الوثائق بجامعة آراك (مرکزي)
موضوع : Logic,symbolic and mathematical
رده :
511
.
3
E15m
579. Mathematical logic
پدیدآورنده : Monk, James Donald
موضوع : ، Logic, Symbolic and mathematical
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
580. Mathematical logic
پدیدآورنده :
کتابخانه: المكتبة المركزية بجامعة تبريز و مركز التوثيق والنشر (أذربایجان الشرقیة)
موضوع : Mathematics - Philosophy,Logic, Symbolic and mathematical
رده :
QA9
.
K652
