Search
2008
with Heinzmann Gerhard
in: One hundred years of intuitionism (1907–2007), Dordrecht : Springer