eNauka - pregled
Pregled prema Autor Došen, Kosta
Prikaz rezultata 1 do 20 od 229
sledeće >
| Godina | Naslov | Autor(i) | Tip rezultata | Mp-kat. |
|---|---|---|---|---|
| 2003 | A Brauerian representation of split preorders | Došen, Kosta   ; Petrić, Zoran | Naučni članak | 22M22 - Međunarodni časopis kategorije M22 |
| 1992 | A BRIEF SURVEY OF FRAMES FOR THE LAMBEK CALCULUS | Došen, Kosta | Naučni članak | Mp kategorija će biti prikazana naknadno. |
| 1985 | A Completeness Theorem for the Lambek Calculus of Syntactic Categories | Došen, Kosta | Naučni članak | Mp kategorija će biti prikazana naknadno. |
| 1994 | A historical introduction to substructural logics | Došen, Kosta | Poglavlje u monografiji | Mp kategorija će biti prikazana naknadno. |
| 2006 | A new proof of the faithfulness of Brauer's representation of Temperley-Lieb algebras | Došen, Kosta ; Kovijanić, Žana; Petrić, Zoran | Naučni članak | 22M22 - Međunarodni časopis kategorije M22 |
| 1987 | A Note on Gentzen's Decision Procedure for Intuitionistic Propositional Logic | Došen, Kosta | Naučni članak | Mp kategorija će biti prikazana naknadno. |
| 1978 | A note on the law of identity and the converse parry property | Došen, Kosta | Naučni članak | Mp kategorija će biti prikazana naknadno. |
| 2001 | A note on the set-theoretic representation of arbitrary lattices | Došen, Kosta | Poglavlje u monografiji | Mp kategorija će biti prikazana naknadno. |
| 2015 | A planarity criterion for graphs | Došen, Kosta ; Petrić, Zoran | Naučni članak | 22M22 - Međunarodni časopis kategorije M22 |
| 2010 | A prologue to the theory of deduction | Došen, Kosta | Poglavlje u monografiji | Mp kategorija će biti prikazana naknadno. |
| 2010 | A prologue to the theory of deduction | Došen, Kosta | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 1984 | A puzzle about logical equivalence | Došen, Kosta | Naučni članak | Mp kategorija će biti prikazana naknadno. |
| 1981 | A reduction of classical propositional logic to the conjuction-negation fragment of an intuitionistic relevant logic | Došen, Kosta | Naučni članak | Mp kategorija će biti prikazana naknadno. |
| 1981 | A reduction of classical propositional logic to the conjunction-negation fragment of an intuitionistic relevant logic | Došen, Kosta | Naučni članak | Mp kategorija će biti prikazana naknadno. |
| 2017 | Abbrev.[iated] editorial introduction | Adžić, Miloš R. ; Došen, Kosta M. | Poglavlje u monografiji | Mp kategorija će biti prikazana naknadno. |
| 1991 | Abrusci, V.Michele "Sequent calculus for intuitionistic linear propositional logic" - Mathematical logic, 223-242, Plenum, New York, 1990. | Došen, Kosta | Informativni prilog | Mp kategorija će biti prikazana naknadno. |
| 2001 | Abstraction and application in adjunction | Došen, Kosta | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 1990 | Addenda and corrigenda to "Sequent-system and groupoid models" | Došen, Kosta | Naučni članak | Mp kategorija će biti prikazana naknadno. |
| 1998 | Addenda and corrigenda to an "An introduction to adjunction" | Došen, Kosta | Naučni članak | Mp kategorija će biti prikazana naknadno. |
| 2015 | Adjunction and Normalization in Categories of Logic | Došen, Kosta | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |