Constructing Kripke models of certain fragments of Heyting's arithmetic.
Wehmeier, Kai F.
Publications de l'Institut Mathématique. Nouvelle Série, Tome 64(78) (1998), p. 1-8 / Harvested from The Electronic Library of Mathematics
Full (PDF)
Publié le : 1998-01-01
MISANU-ID : j_publ_0001785
EUDML-ID : urn:eudml:doc:258074 
@article{01483964,
     title = {Constructing Kripke models of certain fragments of Heyting's arithmetic.},
     journal = {Publications de l'Institut Math\'ematique. Nouvelle S\'erie},
     volume = {64(78)},
     year = {1998},
     pages = {1-8},
     zbl = {0946.03070},
     language = {en},
     url = {http://dml.mathdoc.fr/item/01483964}
}

Wehmeier, Kai F. Constructing Kripke models of certain fragments of Heyting's arithmetic.. Publications de l'Institut Mathématique. Nouvelle Série, Tome 64(78) (1998) pp. 1-8. http://gdmltest.u-ga.fr/item/01483964/