Constructive Axiomatic Method in Euclid, Hilbert and Voevodsky

Результат исследований: Материалы конференцийтезисырецензирование

Язык оригиналаанглийский
СостояниеОпубликовано - 2015
СобытиеCongress on Logic, Methodology and Philosophy of Science - Хельсинки, Финляндия
Продолжительность: 3 авг 20158 авг 2015
Номер конференции: 2015
http://clmps.helsinki.fi/

конференция

конференцияCongress on Logic, Methodology and Philosophy of Science
Сокращенный заголовокCLMPS
СтранаФинляндия
ГородХельсинки
Период3/08/158/08/15
Адрес в сети Интернет

Цитировать