Home
→
Периодические и продолжающиеся издания КФУ
→
Труды математического центра имени Н. И. Лобачевского
→
ТОМ 41. "Воображаемая логика" Н. А. Васильева и современные неклассические логики
→
Browsing ТОМ 41. "Воображаемая логика" Н. А. Васильева и современные неклассические логики by Author

Browsing ТОМ 41. "Воображаемая логика" Н. А. Васильева и современные неклассические логики by Author "Шангин, В. О."

Now showing items 1-1 of 1

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

Шангин, В. О. (Издательство Казанского университета, 2010)

Now showing items 1-1 of 1

Search DSpace

Advanced Search

Browse

All of Kazan Federal University Digital Repository
This Collection
- By Issue Date
- Authors
- Titles
- Subjects

My Account