رسالة جامعية
Semantical study of intuitionistic modal logics
| العنوان: | Semantical study of intuitionistic modal logics |
|---|---|
| العنوان البديل: | 直観主義様相論理の意味論的研究 |
| المؤلفون: | Kojima, Kensuke |
| مرشدي الرسالة: | 佐藤, 雅彦, 山本, 章博, 五十嵐, 淳, 小島, 健介, コジマ, ケンスケ |
| بيانات النشر: | 京都大学 (Kyoto University); 京都大学, 2012. |
| سنة النشر: | 2012 |
| المجموعة: | Kyoto University |
| مصطلحات موضوعية: | 007 |
| الوصف: | Kyoto University (京都大学) 0048 甲第16990号 情博第448号 新制||情||81(附属図書館) 29665 学位規則第4条第1項該当 |
| Original Identifier: | oai:repository.kulib.kyoto-u.ac.jp:2433/157473 |
| نوع الوثيقة: | DAM Thesis or Dissertation |
| وصف الملف: | application/pdf |
| اللغة: | English |
| الإتاحة: | http://hdl.handle.net/2433/157473Test |
| رقم الانضمام: | edsndl.kyoto.u.ac.jp.oai.repository.kulib.kyoto.u.ac.jp.2433.157473 |
| قاعدة البيانات: | Networked Digital Library of Theses & Dissertations |
| الوصف غير متاح. |