1. A Precis of Mathematical Logic
پدیدآورنده : by J.M. Bocheński.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Logic.,Philosophy (General)
2. Acting and Reflecting :
پدیدآورنده : edited by Wilfried Sieg.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Logic.,Philosophy (General)
3. Algebraic Foundations of Many-Valued Reasoning
پدیدآورنده : by Roberto L. O. Cignoli, Itala M. L. D'Ottaviano, Daniele Mundici.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algebra.,Artificial intelligence.,Computational complexity.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).
4. Automated Deduction - A Basis for Applications
پدیدآورنده : edited by Wolfgang Bibel, Peter H. Schmitt.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algebra-- Data processing.,Artificial intelligence.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).,Software engineering.
5. Automated Deduction - A Basis for Applications
پدیدآورنده : edited by Wolfgang Bibel, Peter H. Schmitt.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algebra-- Data processing.,Artificial intelligence.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).,Software engineering.
6. Formal Aspects of Context
پدیدآورنده : edited by Pierre Bonzon, Marcos Cavalcanti, Rolf Nossum.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).
7. Fuzzy Sets, Logics and Reasoning about Knowledge
پدیدآورنده : edited by Didier Dubois, Henri Prade, Erich Peter Klement.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algebra.,Artificial intelligence.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).
8. Hilbert's Program :
پدیدآورنده : by Michael Detlefsen.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Logic.,Philosophy (General)
9. Investigations in Modal and Tense Logics with Applications to Problems in Philosophy and Linguistics
پدیدآورنده : by Dov M. Gabbay.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Logic.,Philosophy (General)
رده :
BC199
.
M6
B936
1976
10. Likeness to Truth
پدیدآورنده : by Graham Oddie.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Logic.,Philosophy (General)
رده :
BD171
.
B947
1986
11. Logical Thinking in the Pyramidal Schema of Concepts
پدیدآورنده : / Lutz Geldsetzer, Richard L. Schwartz
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, Symbolic and mathematical,Mathematics, Philosophy,Philosophy (General),Logic,Computer science,منطق ریاضی,ریاضیات -- فلسفه
رده :
QA9
.
G325
2013
12. Mathematical Thought :
پدیدآورنده : by Evert W. Beth.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Philosophy (General),Science -- Philosophy.
رده :
QA9
.
B948
1965
13. Metamathematics of Fuzzy Logic
پدیدآورنده : by Petr Hájek.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Logic.,Philosophy (General).
14. Multi-Dimensional Modal Logic
پدیدآورنده : by Maarten Marx, Yde Venema.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computational linguistics.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).
15. Philosophical grammar /
پدیدآورنده : Ludwig Wittgenstein ; edited by Rush Rhees ; translated by Anthony Kenny.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Grammar, Comparative and general.,Inference.,Logic, Symbolic and mathematical.,Mathematics-- Philosophy.
16. Philosophical grammar
پدیدآورنده : Wittgenstein, Ludwig
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع : ، Grammar, Comparative and general,، Logic, Symbolic and mathematical,، Inference,Philosophy ، Mathematics
رده :
B3376
.
W563
P52613
1974
17. Philosophical grammar
پدیدآورنده : Ludwig Wittgenstein
کتابخانه: كتابخانه دانشكده ادبیات و علوم انسانی دانشگاه كاشان (أصبهان)
موضوع : Wittgenstein, Ludwig, 1889 - 1951,Grammar, Comparative and general,Logic, Symbolic and mathematical,Inference,Mathematics, Philosophy
رده :
193
W831PR
18. Philosophikē grammatikē /
پدیدآورنده : Ludwig Wittgenstein ; eisagōgē, metaphrasē, scholia: Kōstēs Kōvaios.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Grammar, Comparative and general.,Inference.,Logic, Symbolic and mathematical.,Mathematics-- Philosophy.,Grammar, Comparative and general.,Inference.,Logic, Symbolic and mathematical.,Mathematics-- Philosophy.
19. Proof Theory of Modal Logic
پدیدآورنده : edited by Heinrich Wansing.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).
20. The Art of the Intelligible :
پدیدآورنده : by John L. Bell.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algebra.,Geometry.,Logic, Symbolic and mathematical.,Philosophy (General),Science-- Philosophy.,Algebra.,Geometry.,Logic, Symbolic and mathematical.,Science-- Philosophy.
رده :
B67
