Formalising the natural language of mathematics: a mathematical vernacular

Research output: Contribution to conferencePaper

Original languageEnglish
Publication statusPublished - 2001
EventThe Fourth International Tbilisi Symposium on Language, Logic and Computation - , United States
Duration: 23 Sep 200128 Sep 2001

Conference

ConferenceThe Fourth International Tbilisi Symposium on Language, Logic and Computation
CountryUnited States
Period23/09/0128/09/01

Cite this