Show simple item record

Complexity of the bi-implication fragment of Intuitionistic logic

dc.rights.licenseCC-BY-NC-ND
dc.contributor.advisorGoudsmit, J.
dc.contributor.advisorVisser, A.
dc.contributor.authorBrinkhorst, A.J.
dc.date.accessioned2011-08-23T17:01:21Z
dc.date.available2011-08-23
dc.date.available2011-08-23T17:01:21Z
dc.date.issued2011
dc.identifier.urihttps://studenttheses.uu.nl/handle/20.500.12932/8286
dc.description.sponsorshipUtrecht University
dc.format.extent493754 bytes
dc.format.mimetypeapplication/pdf
dc.language.isoen
dc.titleComplexity of the bi-implication fragment of Intuitionistic logic
dc.type.contentBachelor Thesis
dc.rights.accessrightsOpen Access
dc.subject.keywordslogic, complexity theory, intuitionistic logic
dc.subject.courseuuKunstmatige Intelligentie


Files in this item

Thumbnail
Name:
scriptieBSc_Sanne_Brinkhorst.pdf
Size:
482.1Kb
Format:
PDF
View/Open

This item appears in the following Collection(s)

Show simple item record