| Issue Date | Title | Author(s) | Type | Мp-cat. |
|---|---|---|---|---|
| 2017 | Abbrev.[iated] editorial introduction | Adžić, Miloš R. | Book parts | Mp. category will be shown later |
| 2016 | Is natural deduction natural? | Adžić, Miloš R. | Conference Paper | Mp. category will be shown later |
| 2016 | On The Paths of Categories - An Introduction to Deduction | Došen, Kosta | Book parts | Mp. category will be shown later |
| 2016 | Gödel on deduction | Došen, Kosta | Conference Paper | Mp. category will be shown later |
| 2016 | Represnting conjunctive deductions by disjunctive deductions | Došen, Kosta | Article | 21aM21a |
| 2016 | Godel's Notre Dame course | Adžić, Miloš | Article | 21aM21a |
| 2016 | On sets of premises | Došen, Kosta | Book parts | Mp. category will be shown later |
| 2016 | Goedel's Notre Dame course | Došen, Kosta | Article | 21aM21a |
| 2016 | Comments on An Opinion | Došen, Kosta | Book parts | Mp. category will be shown later |
| 2016 | Rajdemajster za serpentine | Došen, Kosta | Conference Paper | Mp. category will be shown later |
| 2015 | Inferential Semantics | Došen, Kosta | Book parts | Mp. category will be shown later |
| 2015 | Weak cat-operads | Došen, Kosta | Article | 22M22 |
| 2015 | On the Paths of Categories | Došen, Kosta | Book parts | Mp. category will be shown later |
| 2015 | General Proof Theory | Došen, Kosta | Conference Paper | Mp. category will be shown later |
| 2015 | A planarity criterion for graphs | Došen, Kosta | Article | 22M22 |
| 2015 | Adjunction and Normalization in Categories of Logic | Došen, Kosta | Conference Paper | Mp. category will be shown later |
| 2015 | An introduction to Deduction | Došen, Kosta | Conference Paper | Mp. category will be shown later |
| 2015 | Lambek's proof theory | Došen, Kosta | Conference Paper | Mp. category will be shown later |
| 2015 | Comments on an Opinion | Došen, Kosta | Book parts | Mp. category will be shown later |
| 2015 | On exactitude | Došen, Kosta | Conference Paper | Mp. category will be shown later |