Overview   Tree   Index 
Bibliography
   FRAMES  NO FRAME 

[Iem2003]  Preservativity logic (An analogue of interpretability logic for constructive theories)

Iem03a (Article)
Author(s)Iemhoff R.
Title"Preservativity logic (An analogue of interpretability logic for constructive theories)"
Date2003
JournalMathematical Logic Quarterly
Volume49
Number3
Page(s)1-21

BibTeX code

@article{Iem03a,
  journal = {Mathematical Logic Quarterly},
  volume = {49},
  title = {Preservativity logic (An analogue of interpretability logic for constructive theories)},
  author = {Iemhoff, Rosalie},
  year = {2003},
  pages = {1-21},
  number = {3},
}

 Overview   Tree   Index 
Bibliography
   FRAMES  NO FRAME 

Submit a bug

This document was generated by bib2html 1.2.
Copyright © 1998-04 Stéphane GALLAND (under the GNU General Public License)