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 |
|