Views | |
---|---|
Системы натурального вывода для паранепротиворечивых логик, родственных логике, индуцированной исчислением V1 А. Арруда | 139 |
November 2023 | December 2023 | January 2024 | February 2024 | March 2024 | April 2024 | May 2024 | |
---|---|---|---|---|---|---|---|
Системы натурального вывода для паранепротиворечивых логик, родственных логике, индуцированной исчислением V1 А. Арруда | 0 | 0 | 1 | 4 | 2 | 4 | 1 |
Views | |
---|---|
2010_41_106_108.pdf | 32 |
Views | |
---|---|
Russia | 117 |
Views | |
---|---|
Kazan | 117 |