Standard

Univalent Foundations and the Constructive View of Theories. / Родин, Андрей Вячеславович.

в: Логико-философские штудии, Том 16, № 1-2, 2018.

Результаты исследований: Прочие публикации в периодических изданиях › письмо/краткое сообщение

Harvard

Родин, АВ 2018, 'Univalent Foundations and the Constructive View of Theories' Логико-философские штудии, Том. 16, № 1-2. <http://ojs.philosophy.spbu.ru/index.php/lphs/article/view/597/584>

APA

Родин, А. В. (2018). Univalent Foundations and the Constructive View of Theories. Логико-философские штудии, 16(1-2). http://ojs.philosophy.spbu.ru/index.php/lphs/article/view/597/584

Vancouver

Родин АВ. Univalent Foundations and the Constructive View of Theories. Логико-философские штудии. 2018;16(1-2).

Author

Родин, Андрей Вячеславович. / Univalent Foundations and the Constructive View of Theories. в: Логико-философские штудии. 2018 ; Том 16, № 1-2.

BibTeX

@misc{abadb5e082124729b36166d9e42e54f4,
title = "Univalent Foundations and the Constructive View of Theories",
author = "Родин, {Андрей Вячеславович}",
year = "2018",
language = "English",
volume = "16",
journal = "Логико-философские штудии",
issn = "2071-9183",
publisher = "Санкт-Петербургское философское общество",

}

RIS

TY - GEN

T1 - Univalent Foundations and the Constructive View of Theories

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

PY - 2018

Y1 - 2018

M3 - Letter

VL - 16

JO - Логико-философские штудии

JF - Логико-философские штудии

SN - 2071-9183

ER -

ID: 75061043