1. A companion to philosophical logic /
پدیدآورنده : edited by Dale Jacquette.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic.,Logique.,Logic.,Logica.,Logik,Logique (Philosophie),Logique mathématique.,Logique modale.,Paradoxe.,PHILOSOPHY-- Logic.,Sémantique.
رده :
BC71
.
C65
2002eb
2. A guide to classical and modern model theory
پدیدآورنده : / by Annalisa Marcja, Carlo Toffalori
کتابخانه: National Library and Archives of Islamic Republic of Iran (Tehran)
موضوع : Model theory
رده :
QA
۹
/
۷
/
م
۲
گ
۲ ۱۳۸۲
3. A profile of mathematical logic.
پدیدآورنده :
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical.,Logic.,Mathematics.,Logique symbolique et mathématique.,Logic, Symbolic and mathematical.,Logica Matematica (Textos Introdutorios),Logique symbolique et mathématique.,Mathématiques-- Philosophie.,Mathematische Logik,Mathematische Logik.
رده :
QA9
.
D37
4. Abelard and Heloise /
پدیدآورنده : Constant J. Mews.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Abelard, Peter,1079-1142.,Héloïse,approximately 1095-1163 or 1164.,Abelard, Peter,1079-1142,Héloïse,approximately 1095-1163 or 1164,PHILOSOPHY-- History & Surveys-- Medieval.
رده :
B765
.
A24
M49
2005eb
5. Al-Madkhal Li-Sina at al-mantiq
پدیدآورنده : Abul Hajjaj Yusuf ibn Muhammad ibn Tumlus
کتابخانه: Library of Faculty of Literature and Humanities Sciences of Kashan University (Esfahan)
موضوع : Logic,Philosophy, Islamic
رده :
160
I13MT
6. Algebraic Foundations of Many-Valued Reasoning
پدیدآورنده : by Roberto L. O. Cignoli, Itala M. L. D'Ottaviano, Daniele Mundici.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algebra.,Artificial intelligence.,Computational complexity.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).
7. Algebraic methods in philosophical logic
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Algebraic logic ; Algebra ; L?gica ; Modale logica ; Parti?le orde ; Semantiek ;
8. Algoritmos :
پدیدآورنده : José Augusto N.G. Manzano, Jayr Figueiredo de Oliveira.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Estrutura de dados (Computação),Logica.,Programação (Computadores)
9. Argomenti di logica /
پدیدآورنده : Carlo Marletti, Enrico Moriconi, Mauro Mariani.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logica.
10. Aristotle's modal logic :
پدیدآورنده : Richard Patterson.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Aristotle., Organon.,Aristotle,384-322 B.C.-- Contributions in relation of logic and metaphysics.,Aristotle,384-322 B.C., Organon.,Aristote-- Et la logique.,Aristote-- Et la métaphysique.,Aristote-- Et le syllogisme.,Aristote., Organon.,Aristoteles.,Aristoteles., Organon.,Aristotle., Organon.,Organon (Aristotle),Entailment (Logic),Essentialism (Philosophy),Metaphysics.,Modality (Logic),Consequentia (Logique),Essence (Philosophie),Métaphysique.,Modalité (Logique),Analytica priora (Aristoteles),Entailment (Logic),Entailment (Logic),Essentialism (Philosophy),Essentialism (Philosophy),Metaphysics.,Metaphysics.,Modale logica.,Modality (Logic),Modality (Logic),Modallogik
رده :
B437
.
P37
1995
11. Beginning logic /
پدیدآورنده : E.J. Lemmon.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Predicate calculus.,Propositional calculus.,Calcul des prédicats.,Calcul propositionnel.,08.33 logics and argumentation.,Logica.,Predicate calculus.,Propositional calculus.
رده :
QA9
.
3
.
L45
12. Between logic and intuition :
پدیدآورنده : edited by Gila Sher, Richard Tieszen.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Parsons, Charles,1933-.,Parsons, Charles.,Logic, Symbolic and mathematical.,Mathematics-- Philosophy.,08.33 logics and argumentation.,Intuition,Intuition.,Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,Logica.,Logik,Mathematics-- Philosophy.,Mathematics-- Philosophy.,Paradoxes.,Set theory.,Wiskundige logica.
رده :
QA9
.
A5
B489
2000
13. Biology and knowledge :
پدیدآورنده : Jean Piaget ; translated by Beatrix Walsh.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Cognition.,Psychophysiology.,Cognition.,Psychophysiology.,Cognition.,Psychophysiologie.,Biologie,Biologie.,Cognition.,Erkenntnistheorie,Erkenntnistheorie.,Kognition,Kognition.,Psychophysiology.,Theory of knowledge.
رده :
BF311
.
P51513
1971b
14. Buddhist logic and epistemology :
پدیدآورنده : edited by Bimal Krishna Matilal and Robert D. Evans.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Buddhist logic, Congresses.,Knowledge, Theory of (Buddhism), Congresses.,Aufsatzsammlung.,Boeddhisme.,Buddhismus.,Buddhismus.,Buddhist logic.,Buddhist logic.,Erkenntnistheorie.,Erkenntnistheorie.,Kennistheorie.,Knowledge, Theory of (Buddhism),Knowledge, Theory of (Buddhism),Logica.,Logik.,Logik.,Logischer Schluss.,Logischer Schluss.
رده :
BC25
.
B83
1986
15. C'era una volta un paradosso :
پدیدآورنده : Piergiorgio Odifreddi.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Illusion (Philosophy),Paradox.,Paradosso.,Illusion (Philosophy),Logica.,Paradox.
رده :
BC199
.
P2
O35
2001
16. 1: Categorias ; Topicos ; Sobre las refutaciones sofisticas /
پدیدآورنده : Aristoteles ; introducciones, traducciones y notas de Miguel Candel Sanmartin.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع :
17. Character evidence :
پدیدآورنده : Douglas Walton.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Abduction (Logic),Artificial intelligence.,Examination of witnesses-- Psychological aspects.,Reputation (Law),Abduction (Logique),Audition des témoins.,Intelligence artificielle.,Réputation.,Abductie (logica),Abduction (Logic),Argumentatieleer.,Artificial intelligence.,Beoordeling.,Examination of witnesses-- Psychological aspects.,LAW-- Civil Procedure.,LAW-- Legal Services.,Persoonlijkheid.,POLITICAL SCIENCE-- Government-- Judicial Branch.,Reputation (Law),Sciences humaines.,Sciences sociales.
رده :
K2271
.
W35
2006eb
18. Che cos'e la dialettica hegeliana? :
پدیدآورنده : Francesco Berto ; prefazione di Diego Marconi.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Hegel, Georg Wilhelm Friedrich-- Dialettica,Logica
19. Che cos'e la dialettica hegeliana? :
پدیدآورنده : Francesco Berto ; prefazione di Diego Marconi.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Hegel, Georg Wilhelm Friedrich-- Dialettica,Logica
20. Clavis universalis :
پدیدآورنده : Paolo Rossi
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع :
رده :
BC74
.
P365
1989
