Standard

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 journalMeeting Abstractpeer-review

Harvard

APA

Vancouver

Author

BibTeX

@article{0ca6053030a2406682ee5e7350a736a3,
title = "What is a Formal System? The Idea of Geometrical Characteristics from Leibniz to Voevodsky",
author = "Родин, {Андрей Вячеславович}",
year = "2016",
language = "English",
volume = "13",
pages = "133",
journal = "Логико-философские штудии",
issn = "2071-9183",
publisher = "Санкт-Петербургское философское общество",
number = "2",

}

RIS

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