1
Published 2007
Springer Netherlands
... with the use of formal logical methods), sometimes on the sociological dimension of the mathematical research...