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