Теория типов в логике и основаниях математики.
Рогозин Д.Д., Родин А.В.Tahun:
2016
Penerbit:
Институт Философии РАН
Bahasa:
russian
Fail:
PDF, 696 KB
IPFS:
,
russian, 2016