1. Aristotelian Logic and the Arabic Language in Alfarabi
پدیدآورنده: / Shukri B. Abed
کتابخانه: كتابخانه بنياد دايرة المعارف اسلامی (تهران)
موضوع: Farabi, Muhammad Ibn muhammad, 873-950,ف‍اراب‍ی، م‍ح‍م‍دب‍ن م‍ح‍م‍د، ۲۶۰؟ - ۳۳۹ق. -- زب‍ان,Aristotle - Influence,Fārābī--Language, Logic--Terminology--History.
رده :
BBR329
.
A2A87
2. Aristotelian logic and the Arabic language in Alfarabi
پدیدآورنده: Shukri B. Abed
کتابخانه: كتابخانه وزارت امور خارجه (تهران)
موضوع: Logic - Terminology - History,Language and logic,Farabi - Language,Farabi - Contributions in logic,Aristotle - Contributions in logic
3. At the intersection of language, logic, and information :
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer science ; Mathematics ; Congresses. ;
4. Buddhist Logic And Epistemology: Studies In The Buddhist Analysis Of Inference And Language
پدیدآورنده: / Edited By Bimal Krishna Matilal, And Robert D. Evans
کتابخانه: كتابخانه بنياد دايرة المعارف اسلامی (تهران)
موضوع: Buddhist logic -- Congresses.,Knowledge, Theory of (Buddhism) -- Congresses.
رده :
B
25
.
B8
5. Buddhist logic and epistemology: Studies in the Buddhist analysis of inference and language
پدیدآورنده: edited by Bimal Krishna Matilal and Robert D. Evans
کتابخانه: كتابخانه تخصصی لاتين پژوهشگاه علوم و فرهنگ اسلامی (دفتر تبليغات اسلامی حوزه علمیه قم) (قم)
موضوع: Congresses ، Buddhist logic,Congresses ، Knowledge, Theory of )Buddhism(
رده :
BC
25
.
B8
6. Buddhist logic and epistemology :studies in the Buddhist analysis of inference and language
پدیدآورنده: edited by Bimal Krishna Matilal and Robert D. Evans
کتابخانه: كتابخانه تخصصی دانشگاه اديان و مذاهب (قم)
موضوع: Congresses ، Buddhist logic,Congresses ، Knowledge, Theory of )Buddhism(
رده :
BC
25
.
B83
1986
7. Categories and Types in Logic, Language, and Physics
پدیدآورنده: / Claudia Casadio, Bob Coecke, Michael Moortgat, Philip Scott
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: ENGINEERING (uncategorised)&COMPUTER SCIENCE
رده :
E-BOOK
8. DLP : a language for distributed logic programming : design, semantics, and implementation
پدیدآورنده: Eliens, Anton.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Logic programming )Computer science( , Electronic data processing - Distributed processing
رده :
QA
76
.
63
.
E45
1992
9. Deductive logic and descriptive language
پدیدآورنده:
کتابخانه: کتابخانه دانشکده حقوق و علوم سیاسی (دانشگاه تهران) (تهران)
موضوع: Logic
رده :
BC71
.
H25
10. Digital computer programming; logic and language
پدیدآورنده: / Charles M. Thatcher and Anthony J. Capato
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع: Electronic digital computers - Programming,FORTRAN (Computer program language)
رده :
651
.
8
Th-D
11. Digital computer programming; logic and language
پدیدآورنده: Thatcher , Charles Manson, 2291-
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)
موضوع: ، Electronic digital computers - Programming,، FORTRAN )computer program language(
رده :
QA
76
.
5
.
T5
12. Elucidating the Tractatus :Wittgenstein's early philosophy of logic and language
پدیدآورنده: McGinn, Marie.
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع:
رده :
B
3376
.
W563
T7
2009
13. Fact, science and morality: Essays on A.J. Ayer s Language, truth and logic
پدیدآورنده: edited by Graham Macdonald and Crispin Wright.
کتابخانه: كتابخانه تخصصی لاتين پژوهشگاه علوم و فرهنگ اسلامی (دفتر تبليغات اسلامی حوزه علمیه قم) (قم)
موضوع: Language, truth and logic - Criticism and Interpretation ، Ayer, A. J. )Alfred Jules(, 0191-9891.,، Knowledge, Theory of,، Experience,Philosophy ، Language and languages
رده :
B
1618
.
A93L3
1987
14. Foundations of logic and language
پدیدآورنده: / edited by Pranab Kumar Sen
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع: Language and logic
رده :
BC
57
.
F6
1990
15. From discourse to logic: Introduction to modeltheoretic semantics of natural language, formal logic and discourse representation theory
پدیدآورنده: Kamp, Hans.
کتابخانه: كتابخانه تخصصی لاتين پژوهشگاه علوم و فرهنگ اسلامی (دفتر تبليغات اسلامی حوزه علمیه قم) (قم)
موضوع: ، Language and logic,، Semantics )Philosophy(,، Meaning )Philosophy(
رده :
BC
57
.
K3F7
16. Games :unifying logic, language, and philosophy
پدیدآورنده :
موضوع : ، Game theory
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
17. Games : unifying logic, language, and philosophy
پدیدآورنده: edited by Ondrej Majer, Ahti-Veikko Pietarinen, Tero Tulenheimo
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Game theory
رده :
QA
269
.
G358
18. Generalized quantifiers and computation : 9th European Summer School in Logic, Language, and
پدیدآورنده: Jouko Vaananen )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computer science -- Mathematics,، Computer logic,، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
1754
19. God-talk: An examination of the language and logic of theology
پدیدآورنده: Macquarrie, John.
کتابخانه: كتابخانه تخصصی لاتين پژوهشگاه علوم و فرهنگ اسلامی (دفتر تبليغات اسلامی حوزه علمیه قم) (قم)
موضوع: Religious aspects - Christianity ، Language and languages,Religious aspects - Christianity ، Communication
رده :
BR
115
.
L3M3
20. Graph structure and monadic second-order logic : a language-theoretic approach
پدیدآورنده: Courcelle, Bruno
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Graphic methods ، Logic, Symbolic and mathematical
رده :
QA
9
.
C68G7
