intuitionistic logic (Q176786)

From Wikidata
Jump to: navigation, search