Standard

Constructive Axiomatic Method in Euclid, Hilbert and Voevodsky. / Родин, Андрей Вячеславович.

2015. Реферат от Congress on Logic, Methodology and Philosophy of Science , Хельсинки, Финляндия.

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

Harvard

Родин, АВ 2015, 'Constructive Axiomatic Method in Euclid, Hilbert and Voevodsky', Congress on Logic, Methodology and Philosophy of Science , Хельсинки, Финляндия, 3/08/15 - 8/08/15. <http://philomatica.org/wp-content/uploads/2013/01/CLMPS_LC_book-of-abstracts-29.7.2015.pdf>

APA

Родин, А. В. (2015). Constructive Axiomatic Method in Euclid, Hilbert and Voevodsky. Реферат от Congress on Logic, Methodology and Philosophy of Science , Хельсинки, Финляндия. http://philomatica.org/wp-content/uploads/2013/01/CLMPS_LC_book-of-abstracts-29.7.2015.pdf

Vancouver

Родин АВ. Constructive Axiomatic Method in Euclid, Hilbert and Voevodsky. 2015. Реферат от Congress on Logic, Methodology and Philosophy of Science , Хельсинки, Финляндия.

Author

Родин, Андрей Вячеславович. / Constructive Axiomatic Method in Euclid, Hilbert and Voevodsky. Реферат от Congress on Logic, Methodology and Philosophy of Science , Хельсинки, Финляндия.

BibTeX

@conference{a4bc0c9ee82d4793be0bf51f59887941,
title = "Constructive Axiomatic Method in Euclid, Hilbert and Voevodsky",
author = "Родин, {Андрей Вячеславович}",
year = "2015",
language = "English",
note = "null ; Conference date: 03-08-2015 Through 08-08-2015",
url = "http://clmps.helsinki.fi/",

}

RIS

TY - CONF

T1 - Constructive Axiomatic Method in Euclid, Hilbert and Voevodsky

AU - Родин, Андрей Вячеславович

N1 - Conference code: 2015

PY - 2015

Y1 - 2015

M3 - Abstract

Y2 - 3 August 2015 through 8 August 2015

ER -

ID: 11605953