1. Carnap, Rudolph
پدیدآورنده:
کتابخانه: كتابخانه بنياد دايرة المعارف اسلامی (تهران)
موضوع: Physics - Philosophy,Semantics (Philosophy),Logic, Symbolic and Mathematical
2. Classical mathematical logic : the semantic foundations of logic
پدیدآورنده: Richard L. Epstein; with contributions by Leslaw W. Szczerba
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Logic, Symbolic and mathematical,، Semantics )Philosophy(
رده :
QA
9
.
E67C56
3. Die Antinomien der Logik;semantische unter suchungen
پدیدآورنده: Kutschera
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه تهران (تهران)
موضوع: Antinomy,Logic, symbolic and mathematical,Semantics (Philosophy)
رده :
BC
135
.
K84
4. From signs to propositions: The concept of form in eighteenth-century semantic theory
پدیدآورنده: Land, Stephen K.
کتابخانه: كتابخانه تخصصی لاتين پژوهشگاه علوم و فرهنگ اسلامی (دفتر تبليغات اسلامی حوزه علمیه قم) (قم)
موضوع: ، Semantics,Philosophy ، Language and languages,81th century - History ، Linguistics,، Logic, Symbolic and mathematical.,81th century ، Philosophy, Modern
رده :
P
325
.
L3F7
5. Introduction to semantics
پدیدآورنده: by Rudolf Carnap
کتابخانه: کتابخانه و مرکز اسناد دانشکدگان هنرهای زیبا (دانشگاه تهران) (تهران)
موضوع: Logic, Symbolic and mathematical,Semantics
رده :
BC
135
.
C316
6. Introduction to semantics :
پدیدآورنده: Rudolf Carnap.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical.,Semantics (Philosophy),Logic, Symbolic and mathematical.,Semantics (Philosophy)
رده :
BC135
.
C316
1959eb
7. Introduction to semantics and formalization of logic
پدیدآورنده: Carnap
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه تهران (تهران)
موضوع: Semantics (Philosophy),Logic Symbolic and mathematical
رده :
BC
135
.
C3
8. Kotarbinski:Logic,semantics and ontology
پدیدآورنده: / edited by Jan Wolenski
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اراک (مرکزی)
موضوع: Kotarbinski,Tadeuz,Logic,symbolic and mathematical,Semantics,Ontology
رده :
199
.
438
K87
9. Logic: a brief course
پدیدآورنده: Mundici, Daniele
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Logic, Symbolic and mathematical,، Mathematics,، Computer science,، Semantics
رده :
QA
9
.
M86
2012
10. Logic of Domains
پدیدآورنده: Guo-Qiang Zhang
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Programming languages )Electronic computers( -- Semantics,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
Z47
1991
11. Logic of domains
پدیدآورنده: Zhang, Guo-Qiang
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Programming languages )Electronic computers(-- Semantics,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
Z47
1991
12. Logic, semantics, metamathematics
پدیدآورنده: Tarski, Alfred
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Logic, Symbolic and mathematical,، Semantics )Philosophy(
رده :
BC
135
.
T35
13. Logic, semantics, metamathematics :
پدیدآورنده: by Alfred Tarski ; translated by J.H. Woodger.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical.,Semantics (Philosophy),Logique symbolique et mathématique.,Sémantique (Philosophie),Formale Semantik,Formale Semantik.,Logic, Symbolic and mathematical.,Logica.,Mathematische Logik,Mathematische Logik.,Metamathematica.,Semantics (Philosophy),Semantiek.
رده :
BC135
.
T35
1983
14. Logic, semantics, metamathematics : papers from 1923 to 1938
پدیدآورنده: Tarski, Alfred
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Logic, Symbolic and mathematical ► Semantics (Philosophy)
رده :
160
T193l
15. Logic, semantics, metamathematics :papers from 1923 to 1938
پدیدآورنده: Tarski, Alfred.
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع: ، Logic, Symbolic and mathematical,، Semantics )Philosophy(
رده :
BC135
.
T35
1983
16. Logic, semantics, metamathematics: papers from 1923 to 1938
پدیدآورنده: Tarski, Alfred.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Logic, Symbolic and mathematical,Semantics )Philosophy(
رده :
BC
135
.
T35
17. Logica: Metodo Breve
پدیدآورنده: by Daniele Mundici.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Logic, Symbolic and mathematical.,Mathematics.,Semantics.
18. Logics in AI : European Workshop JELIA '90, Amsterdam, the Netherlands, September 10-14, 1990, proceedings
پدیدآورنده: European Workshop JELIA '09, )0991, Amsterdam, Netherlands(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Artificial intelligence-- Congresses,، Logic programming-- Congresses,، Semantics-- Data processing-- Congresses,، Logic, Symbolic and mathematical-- Congresses,، Nonclassical mathematical logic-- Congresses
رده :
Q
334
.
E985
1990
19. Logics of specification languages
پدیدآورنده: Dines Bjrner, Martin C. Henson, editors
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی شاهرود (سمنان)
موضوع: Semantics ، Programming languages )Electronic computers(,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
L65
2008
20. Logics of specification languages
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Semantics ، Programming languages )Electronic computers(,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
L65
2008
