Results 1-20 of 221
Issue DateTitleAuthor(s)TypeМp-cat.
2017Abbrev.[iated] editorial introductionAdžić, Miloš R.  ; Došen, Kosta M.  Book parts
Mp. category will be shown later
2016Is natural deduction natural?Adžić, Miloš R.  ; Ana Došen; Došen, Kosta M.  ; Kostić, Jovana B.  ; Maksimović, Katarina R.  ; Milošević, Senka M. Conference Paper
Mp. category will be shown later
2016On The Paths of Categories - An Introduction to DeductionDošen, Kosta  Book parts
Mp. category will be shown later
2016Gödel on deductionDošen, Kosta  Conference Paper
Mp. category will be shown later
2016Represnting conjunctive deductions by disjunctive deductionsDošen, Kosta  ; Petrić, Zoran  Article
21aM21a
2016Godel's Notre Dame courseAdžić, Miloš  ; Dosen, Kosta  Article
21aM21a
2016On sets of premisesDošen, Kosta  Book parts
Mp. category will be shown later
2016Goedel's Notre Dame courseDošen, Kosta  ; Adžić, Miloš  Article
21aM21a
2016Comments on An OpinionDošen, Kosta  Book parts
Mp. category will be shown later
2016Rajdemajster za serpentineDošen, Kosta  Conference Paper
Mp. category will be shown later
2015Inferential SemanticsDošen, Kosta  Book parts
Mp. category will be shown later
2015Weak cat-operadsDošen, Kosta  ; Petrić, Zoran  Article
22M22
2015On the Paths of CategoriesDošen, Kosta  Book parts
Mp. category will be shown later
2015General Proof TheoryDošen, Kosta  Conference Paper
Mp. category will be shown later
2015A planarity criterion for graphsDošen, Kosta  ; Petrić, Zoran  Article
22M22
2015Adjunction and Normalization in Categories of LogicDošen, Kosta  Conference Paper
Mp. category will be shown later
2015An introduction to DeductionDošen, Kosta  Conference Paper
Mp. category will be shown later
2015Lambek's proof theoryDošen, Kosta  Conference Paper
Mp. category will be shown later
2015Comments on an OpinionDošen, Kosta  Book parts
Mp. category will be shown later
2015On exactitudeDošen, Kosta  Conference Paper
Mp. category will be shown later