Complexity of the bi-implication fragment of Intuitionistic logic
DSpace/Manakin Repository
Complexity of the bi-implication fragment of Intuitionistic logic
Brinkhorst, A.J.
(2011) Faculty of Humanities Theses
(Bachelor thesis)
Download/Full Text
Open Access version via Utrecht University Repository
Keywords: logic, complexity theory, intuitionistic logic
See
more statistics
about this item