@article{1183741023, author = {Werner, Heinrich}, title = {Review: G. Gratzer, W. A. Lampe, Appendix 7. The Independence Proof}, journal = {J. Symbolic Logic}, volume = {47}, number = {1}, year = {1982}, language = {en}, url = {http://dml.mathdoc.fr/item/1183741023} }
Werner, Heinrich. Review: G. Gratzer, W. A. Lampe, Appendix 7. The Independence Proof. J. Symbolic Logic, Tome 47 (1982) no. 1, . http://gdmltest.u-ga.fr/item/1183741023/