Admissible rules in the implication-negation fragment of intuitionistic logic
Options
Publisher DOI
Date of Publication
2010
Publication Type
Article
Language(s)
en
Contributor(s)
Cintula, Petr |
Additional Credits
Series
Annals of pure and applied logic
Publisher
Elsevier
ISSN
0168-0072
Access(Rights)
metadata.only