Аналитико-табличная аксиоматизация логики V1 А. Арруды

dc.contributor	Казанский федеральный университет	ru_RU
dc.contributor.author	Солощенков, А. А.
dc.date.accessioned	2016-12-29T11:55:44Z
dc.date.available	2016-12-29T11:55:44Z
dc.date.issued	2010
dc.identifier.citation	Солощенков, А. А. Аналитико-табличная аксиоматизация логики V1 А. Арруды / А. А. Солощенков // Труды Математического центра имени Н. И. Лобачевского. - Казань, 2010. - Т. 41. - С. 96-99.	ru_RU
dc.identifier.uri	http://dspace.kpfu.ru/xmlui/handle/net/108748
dc.publisher	Издательство Казанского университета	ru_RU
dc.relation.ispartofseries	Труды Математического центра имени Н. И. Лобачевского
dc.title	Аналитико-табличная аксиоматизация логики V1 А. Арруды	ru_RU
dc.type	Article	ru_RU
dc.description.pages	96-99	ru_RU
dc.relation.ispartofseries-volume	41