Browsing eNauka
Browsing by Project Science Fund Serbia, grant number 0403
Showing results 1 to 1 of 1
| Issue Date | Title | Author(s) | Type | Мp-cat. |
|---|---|---|---|---|
| 1994 | A tableau-like proof procedure for normal modal logics | Ognjanović, Zoran   | Article | 22M22 |