@article{1183740611, author = {Bruce, Kim B.}, title = {Model Constructions in Stationary Logic. Part I. Forcing}, journal = {J. Symbolic Logic}, volume = {45}, number = {1}, year = {1980}, pages = { 439-454}, language = {en}, url = {http://dml.mathdoc.fr/item/1183740611} }
Bruce, Kim B. Model Constructions in Stationary Logic. Part I. Forcing. J. Symbolic Logic, Tome 45 (1980) no. 1, pp. 439-454. http://gdmltest.u-ga.fr/item/1183740611/