Došen, Kosta

Тип

Година

81 2000 - 2027
140 1000 - 1999

Мп-кат.

Година - распон

Година од:

Година до:

Резултати 161-180 од 221 Резултати/страница

Година	Наслов	Аутор(и)	Тип резултата	Мп-кат.
1989	Daniels, Charles B. "Nonlogical consequences" - Logique et Anal. (N.S.) 30 (1987), no.119, 283-290.	Došen, Kosta	Информативни прилог	Мп категорија ће бити приказана накнадно.
1988	Popovich, M.V.; Krymskii, S.B.; Ishmuratov, A.T.; Kintsan, V.T.; Vasil'ev, S.A.; Parakhonskii, B.A.; Prilyuk, Yu.D.; Vyatkina, N.B.; Shtern, I.B.; Domb, G.I.; Omel'yanchik, V.I.; Burgin, M.S.; Kuznetsov, V.I. "Proof and understanding" - "Naukova Dumka", Kiev, 1986. 312 pp. 3.00.r.	Došen, Kosta	Информативни прилог	Мп категорија ће бити приказана накнадно.
1988	Second-order logic without variables	Došen, Kosta	Поглавље у монографији	Мп категорија ће бити приказана накнадно.
1988	Sequent-systems and groupoid models. I	Došen, Kosta	Научни чланак	Мп категорија ће бити приказана накнадно.
1988	Uniqueness, definability and interpolation	Došen, Kosta	Научни чланак	22M22 - Међународни часопис категорије M22
1988	Weston, S. Thomas, "Approximate truth" - J. Philos. Logic 16 (1987), no.2, 203-227.	Došen, Kosta	Информативни прилог	Мп категорија ће бити приказана накнадно.
1988	Bellin, Gianluigi "A system of natural deduction for Gl" - Theoria 51 (1985), no.2, 89-114.	Došen, Kosta	Информативни прилог	Мп категорија ће бити приказана накнадно.
1988	Sequent-system and groupoid models. I	Došen, Kosta	Научни чланак	Мп категорија ће бити приказана накнадно.
1988	Zalta, Edward N. "On the structural similarities between worlds and times" - Philos. Stud. 51 (1987), no.2, 213-239._	Došen, Kosta	Информативни прилог	Мп категорија ће бити приказана накнадно.
1988	Furs, S.N., "Syllogistics of some theories" - Z. Math. Logik Grundlag. Math. 33 (1987), no.1, 31-42.	Došen, Kosta	Информативни прилог	Мп категорија ће бити приказана накнадно.
1987	Fine, Kit "Logics containing K4. Part II" - J. Symbolic Logic 50 (1985), no.3, 619-651.	Došen, Kosta	Informativni prilog	Mp kategorija će biti prikazana naknadno.
1987	Vuillemin, Jules "Two examples of the application of axiomatization to philosophy: the analysis of movement by Zeno and the analysis of freedom by Diodorus Cronus" - Fund. Sci. 6 (1985), no.3, 209-219.	Došen, Kosta	Информативни прилог	Мп категорија ће бити приказана накнадно.
1987	Artëmov, S. N. "Nonarithmeticity of truth predicate logics of provability" - Dokl. Akad. Nauk SSSR 284 (1985), no.2, 270-271.	Došen, Kosta	Contribution to periodical	Mp. category will be shown later
1987	Problem section - Problem 27	Došen, Kosta	Научни чланак	Мп категорија ће бити приказана накнадно.
1987	Ballard, David "Independence in higher-order subclassical logic" - Notre Dame J. Formal Logic 26 (1985), no.4, 444-454.	Došen, Kosta	Информативни прилог	Мп категорија ће бити приказана накнадно.
1987	Negation and impossibility	Došen, Kosta	Конференцијски рад	Мп категорија ће бити приказана накнадно.
1987	Seldin, Jonathan P. "On the proof theory of the intermediate logic MH" - J. Symbolic Logic 51 (1986), no.3, 626-647.	Došen, Kosta	Informativni prilog	Mp kategorija će biti prikazana naknadno.
1987	Yablo, Stephen "Truth and reflection" - J. Philos. Logic 14 (1985), no.3, 297-349.	Došen, Kosta	Informativni prilog	Mp kategorija će biti prikazana naknadno.
1987	Ono, Hiroakira; Komori, Yuichi "Logics without the contraction rule" - J. Symbolic Logic 50 (1985), no.1, 169-201.	Došen, Kosta	Informativni prilog	Mp kategorija će biti prikazana naknadno.
1987	Materna, Pavel "'Linguistic constructions' in the transparent intensional logic" - Prague Bull. Math. Linguist. no. 43 (1985), 5-24.	Došen, Kosta	Информативни прилог	Мп категорија ће бити приказана накнадно.