Mathematical Linguistics [pdf]
people.mokk.bme.hu
1 thread
This is intriguing, as the author seems to want to mix formal and informal systems describing mathematics.
I wonder how resources like http://www.mizar.org would impact his effort ?