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

Шангин, В. О.

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