Browsing eNauka
Browsing by Project TEX-pert
Showing results 1 to 1 of 1
| Issue Date | Title | Author(s) | Type | Мp-cat. |
|---|---|---|---|---|
| 2022 | Maximum Segments as Natural Deduction Images of Some Cuts | Borisavljevic, Mirjana P   | Article | 21M21 |