1. Categorial grammar /
پدیدآورنده : edited by Wojciech Buszkowski, Witold Marciszewski, Johan van Benthem
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Categorial grammar
رده :
P161
.
C38
1988
2. Handbook of logic and language
پدیدآورنده : / Johan Van Benthem, Alice ter Meulen.
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (طهران)
موضوع : پردازش زبان طبیعی,منطق ریاضی,معنی‌شناسی,-- دستنامه‌ها,-- دستنامه‌ها,-- دستنامه‌ها
رده :
QA
۷۶
/
۹
/
پ
۴۴
ھ
۹ ۱۳۹۰
3. Handbook of modal logic
پدیدآورنده : edited by Patrick Blackburn, Johan van Benthem, Frank Wolter
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع : Handbooks, manuals, etc ، Modality )Logic(
رده :
BC
199
.
M6H36
2007
4. Handbook of spatial logics
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Logic, Symbolic and mathematical. ; Mathematics. ;
5. Handbook of spatial logics
پدیدآورنده : / edited by Marco Aiello, Ian Pratt-Hartmann and Johan van Benthem
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Logic, Symbolic and mathematical.
6. Language in action : categories, lambdas, and dynamic logic
پدیدآورنده : Benthem, J F A K van
موضوع : ، Language and logic,، Categorial grammar,، Lambda calculus,، Logic, Symbolic and mathematical,، Mathematical linguistics
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
7. Philosophy of information
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Information theory-- Philosophy
رده :
Q
360
.
P48
2008
8. Philosophy of information
پدیدآورنده : edited by Pieter Adriaans and Johan van Benthem
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع : Philosophy ، Information theory
9. The Logic of Time :
پدیدآورنده : by J.F.A.K. Benthem.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Logic.,Philosophy (General)
10. The logic of time
پدیدآورنده : Johan van Benthem
کتابخانه: کتابخانه دانشکده روانشناسی و علوم تربیتی دانشگاه تهران (طهران)
موضوع : Time,Ontology,Tense (Grammar),Tense (Logic)
رده :
BC
,
199
,.
T4
,
B4
,
1991
11. The logic of time : a model-theoretic investigation into the varieties of temporal ontology and temporal discourse
پدیدآورنده : Benthem, J. F. A. K. van
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Time,، Ontology,، Tense )Grammar(,، Tense )Logic(
رده :
BC
199
.
T4
.
B46
1991
