Research output: Contribution to journal › Meeting Abstract › peer-review
What is a Formal System? The Idea of Geometrical Characteristics from Leibniz to Voevodsky. / Родин, Андрей Вячеславович.
In: Логико-философские штудии, Vol. 13, No. 2, 2016, p. 133.Research output: Contribution to journal › Meeting Abstract › peer-review
}
TY - JOUR
T1 - What is a Formal System? The Idea of Geometrical Characteristics from Leibniz to Voevodsky
AU - Родин, Андрей Вячеславович
PY - 2016
Y1 - 2016
M3 - Meeting Abstract
VL - 13
SP - 133
JO - Логико-философские штудии
JF - Логико-философские штудии
SN - 2071-9183
IS - 2
ER -
ID: 11605129