Complexity of the bi-implication fragment of Intuitionistic logic
DSpace/Manakin Repository
Complexity of the bi-implication fragment of Intuitionistic logic
(2011) Faculty of Humanities Theses
(Bachelor thesis)
Download/Full Text
Keywords: logic, complexity theory, intuitionistic logic
See more statistics about this item