Marti, Michel (2017). Contributions to Intuitionistic Epistemic Logic. (Dissertation, Institute of Computer Science, Philosophisch-naturwissenschaftliche Fakultät, Universität Bern)
|
Text
marti17_.pdf - Published Version Available under License Creative Commons: Attribution-Share Alike (CC-BY-SA). Download (486kB) | Preview |
Official URL: http://www.lulu.com/shop/michel-marti/contribution...
Item Type: |
Thesis (Dissertation) |
---|---|
Division/Institute: |
08 Faculty of Science > Institute of Computer Science (INF) 08 Faculty of Science > Institute of Computer Science (INF) > Logic and Theory Group (LTG) |
UniBE Contributor: |
Marti, Michel, Jäger, Gerhard Max |
Subjects: |
000 Computer science, knowledge & systems 500 Science > 510 Mathematics |
Language: |
English |
Submitter: |
Lukas Jaun |
Date Deposited: |
14 Nov 2017 15:01 |
Last Modified: |
05 Dec 2022 14:54 |
BORIS DOI: |
10.7892/boris.79972 |
URI: |
https://boris.unibe.ch/id/eprint/79972 |