%0 Journal Article %1 journals/jsyml/VeldmanW96 %A Veldman, Wim %A Waaldijk, Frank %D 1996 %J J. Symb. Log. %K dblp %N 3 %P 745-767 %T Some Elementary Results in Intuitionistic Model Theory. %U http://dblp.uni-trier.de/db/journals/jsyml/jsyml61.html#VeldmanW96 %V 61

@article{journals/jsyml/VeldmanW96, added-at = {2014-08-05T00:00:00.000+0200}, author = {Veldman, Wim and Waaldijk, Frank}, biburl = {https://www.bibsonomy.org/bibtex/247ae98033f96da7e578ae1fce83926fc/dblp}, ee = {http://projecteuclid.org/euclid.jsl/1183745074}, interhash = {f2a183740e0169097b10f6b1b65750d7}, intrahash = {47ae98033f96da7e578ae1fce83926fc}, journal = {J. Symb. Log.}, keywords = {dblp}, number = 3, pages = {745-767}, timestamp = {2015-06-18T02:30:30.000+0200}, title = {Some Elementary Results in Intuitionistic Model Theory.}, url = {http://dblp.uni-trier.de/db/journals/jsyml/jsyml61.html#VeldmanW96}, volume = 61, year = 1996 }