@article{ELMA_1976__31_141184, author = {Gerhard Wolff}, title = {'Kreisel'.}, journal = {Elemente der Mathematik}, pages = {141--145}, publisher = {mathdoc}, volume = {31}, year = {1976}, url = {http://geodesic.mathdoc.fr/item/ELMA_1976__31_141184/} }