Search
Springer
On the origin of the "language" of formal mathematics
Vol. 187
Burt C. Hopkins
Volume
Title
Author