Standard

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

In: Логико-философские штудии, Vol. 16, No. 1-2, 2018.

Research output: Contribution to specialist publication › Letter

Harvard

Родин, АВ 2018, 'Univalent Foundations and the Constructive View of Theories' Логико-философские штудии, vol. 16, no. 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. In: Логико-философские штудии. 2018 ; Vol. 16, No. 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