Sciweavers

Admissible rules in the implication-negation fragment of intuitionistic logic
Recent countries visiting this post
Admissible rules in the implication-negation fragment of intuitionistic logic
us5United States
ru1Russian Federation