Autori: Dosen Kosta M
| Naslov | Godel on Deduction (Article) |
| Autori | Dosen Kosta M Adzic Milos R 
|
| Info | STUDIA LOGICA, (2019), vol. 107 br. 1, str. 31-51 |
| Projekat | Ministry of Education, Science and Technological Development of Serbia; French National Research Agency [ANR-09-BLAN-0313] |
| Ispravka | Web of Science Članak Elečas Rang časopisa Citati: Web of Science |
     |
| Naslov | Godel's Natural Deduction (Article) |
| Autori | Dosen Kosta M Adzic Milos R
|
| Info | STUDIA LOGICA, (2018), vol. 106 br. 2, str. 397-415 |
| Projekat | Ministry of Education, Science and Technological Development of Serbia; Alexander von Humboldt Foundation; French National Research Agency [ANR-09-BLAN-0313] |
| Ispravka | Web of Science Članak Elečas Rang časopisa Citati: Web of Science |
|
|
| Naslov | Representing Conjunctive Deductions by Disjunctive Deductions (Article) |
| Autori | Dosen Kosta M Petric Zoran J |
| Info | REVIEW OF SYMBOLIC LOGIC, (2017), vol. 10 br. 1, str. 145-157 |
| Projekat | Ministry of Education, Science, and Technological Development of the Republic of Serbia [ON174026] |
| Ispravka | Web of Science Članak Elečas Rang časopisa Citati: Web of Science Scopus |
|
|
| Naslov | Godel's Notre Dame Course (Article) |
| Autori | Adzic Milos R Dosen Kosta M
|
| Info | BULLETIN OF SYMBOLIC LOGIC, (2016), vol. 22 br. 4, str. 469-481 |
| Projekat | Ministry of Education, Science and Technological Development of Serbia; French National Research Agency [ANR-09-BLAN-0313] |
| Ispravka | Web of Science Članak Elečas Rang časopisa Citati: Web of Science |
|
|
| Naslov | On Sets of Premises (Proceedings Paper) |
| Autori | Dosen Kosta M |
| Info | CONCEPTS OF PROOF IN MATHEMATICS, PHILOSOPHY, AND COMPUTER SCIENCE, (2016), vol. 6 br. , str. 151-162 |
| Ispravka | Web of Science Citati: Web of Science |
|
|
| Naslov | A Planarity Criterion for Graphs (Article) |
| Autori | Dosen Kosta M Petric Zoran J |
| Info | SIAM JOURNAL ON DISCRETE MATHEMATICS, (2015), vol. 29 br. 4, str. 2160-2165 |
| Projekat | Ministry of Science of Serbia [ON174026] |
| Ispravka | Web of Science Članak Elečas Rang časopisa Citati: Web of Science |
|
|
| Naslov | Inferential Semantics (Proceedings Paper) |
| Autori | Dosen Kosta M |
| Info | DAG PRAWITZ ON PROOFS AND MEANING, (2015), vol. 7 br. , str. 147-162 |
| Ispravka | Web of Science Članak Citati: Web of Science |
|
|
| Naslov | WEAK CAT-OPERADS (Article) |
| Autori | Dosen Kosta M Petric Zoran J |
| Info | LOGICAL METHODS IN COMPUTER SCIENCE, (2015), vol. 11 br. 1, str. - |
| Projekat | Ministry of Science of Serbia [ON174026] |
| Ispravka | Web of Science Članak Elečas Rang časopisa Citati: Web of Science Scopus |
|
|
| Naslov | Graphs of plural cuts (Article) |
| Autori | Dosen Kosta M Petric Zoran J |
| Info | THEORETICAL COMPUTER SCIENCE, (2013), vol. 484 br. , str. 41-55 |
| Projekat | Ministry of Science of Serbia [ON174026] |
| Ispravka | Web of Science Članak Elečas Rang časopisa Citati: Web of Science |
|
|
| Naslov | Syntax for split preorders (Article) |
| Autori | Dosen Kosta M Petric Zoran J |
| Info | ANNALS OF PURE AND APPLIED LOGIC, (2013), vol. 164 br. 4, str. 443-481 |
| Projekat | Ministry of Science of Serbia [ON174026] |
| Ispravka | Web of Science Članak Elečas Rang časopisa Citati: Web of Science Scopus |
|
|
