@article{1183740384, author = {Loullis, George}, title = {Sheaves and Boolean Valued Model Theory}, journal = {J. Symbolic Logic}, volume = {44}, number = {1}, year = {1979}, pages = { 153-183}, language = {en}, url = {http://dml.mathdoc.fr/item/1183740384} }
Loullis, George. Sheaves and Boolean Valued Model Theory. J. Symbolic Logic, Tome 44 (1979) no. 1, pp. 153-183. http://gdmltest.u-ga.fr/item/1183740384/