Complexity of the bi-implication fragment of Intuitionistic logic
dc.rights.license | CC-BY-NC-ND | |
dc.contributor.advisor | Goudsmit, J. | |
dc.contributor.advisor | Visser, A. | |
dc.contributor.author | Brinkhorst, A.J. | |
dc.date.accessioned | 2011-08-23T17:01:21Z | |
dc.date.available | 2011-08-23 | |
dc.date.available | 2011-08-23T17:01:21Z | |
dc.date.issued | 2011 | |
dc.identifier.uri | https://studenttheses.uu.nl/handle/20.500.12932/8286 | |
dc.description.sponsorship | Utrecht University | |
dc.format.extent | 493754 bytes | |
dc.format.mimetype | application/pdf | |
dc.language.iso | en | |
dc.title | Complexity of the bi-implication fragment of Intuitionistic logic | |
dc.type.content | Bachelor Thesis | |
dc.rights.accessrights | Open Access | |
dc.subject.keywords | logic, complexity theory, intuitionistic logic | |
dc.subject.courseuu | Kunstmatige Intelligentie |