[Iem2001c] On the admissible rules of Intuitionistic Propositional Logic
| Iem01a (Article)
|
| Author(s) | Iemhoff R. |
| Title | "On the admissible rules of Intuitionistic Propositional Logic" |
| Date | 2001 |
| Journal | Journal of Symbolic Logic |
| Volume | 66 |
| Number | 1 |
| Page(s) | 281-294 |
@article{Iem01a,
journal = {Journal of Symbolic Logic},
volume = {66},
title = {On the admissible rules of Intuitionistic Propositional Logic},
author = {Iemhoff, Rosalie},
year = {2001},
pages = {281-294},
number = {1},
}
Submit a bug
This document was generated by bib2html 1.2.
Copyright © 1998-04 Stéphane GALLAND (under the GNU General Public License)