Kazan Federal University Digital Repository

Системы натурального вывода для паранепротиворечивых логик, родственных логике, индуцированной исчислением V1 А. Арруда

Show simple item record

dc.contributor Казанский федеральный университет ru_RU
dc.contributor.author Шангин, В. О.
dc.date.accessioned 2016-12-29T12:20:19Z
dc.date.available 2016-12-29T12:20:19Z
dc.date.issued 2010
dc.identifier.citation Шангин, В. О. Системы натурального вывода для паранепротиворечивых логик, родственных логике, индуцированной исчислением V1 А. Арруда / В. О. Шангин // Труды Математического центра имени Н. И. Лобачевского. - Казань, 2010. - Т. 41. - С. 106-108. ru_RU
dc.identifier.uri http://dspace.kpfu.ru/xmlui/handle/net/108752
dc.publisher Издательство Казанского университета ru_RU
dc.relation.ispartofseries Труды Математического центра имени Н. И. Лобачевского
dc.title Системы натурального вывода для паранепротиворечивых логик, родственных логике, индуцированной исчислением V1 А. Арруда ru_RU
dc.type Article ru_RU
dc.description.pages 106-108 ru_RU
dc.relation.ispartofseries-volume 41


Files in this item

This item appears in the following Collection(s)

Show simple item record

Search DSpace


Advanced Search

Browse

My Account

Statistics