Constructive Axiomatic Method in Euclid, Hilbert and Voevodsky

Research output: Contribution to conferenceAbstractpeer-review

Original languageEnglish
StatePublished - 2015
EventCongress on Logic, Methodology and Philosophy of Science - Хельсинки, Finland
Duration: 3 Aug 20158 Aug 2015
Conference number: 2015
http://clmps.helsinki.fi/

Conference

ConferenceCongress on Logic, Methodology and Philosophy of Science
Abbreviated titleCLMPS
CountryFinland
CityХельсинки
Period3/08/158/08/15
Internet address

Cite this