About: constructive logic

Premodifier: constructive
Head noun: logic

Same concepts
http://dbpedia.org/resource/Intuitionistic_logic

Broader concepts

label	provenance	confidence

Narrower concepts

label	provenance	confidence
type theory	isap:117614112	0.473956