[Iem2001b] A(nother) characterization of Intuitionistic Propositional Logic
| Iem01b (Article)
|
| Author(s) | Iemhoff R. |
| Title | "A(nother) characterization of Intuitionistic Propositional Logic" |
| Date | 2001 |
| Journal | Annals of Pure and Applied Logic |
| Volume | 113 |
| Number | 1-3 |
| Page(s) | 161-173 |
@article{Iem01b,
journal = {Annals of Pure and Applied Logic},
volume = {113},
title = {A(nother) characterization of Intuitionistic Propositional Logic},
author = {Iemhoff, Rosalie},
year = {2001},
pages = {161-173},
number = {1-3},
}
Submit a bug
This document was generated by bib2html 1.2.
Copyright © 1998-04 Stéphane GALLAND (under the GNU General Public License)