Došen, Kosta

Тип

Година

81 2000 - 2027
140 1901 - 1999

Мп-кат.

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

Година од:

Година до:

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

Година	Наслов	Аутор(и)	Тип резултата	Мп-кат.
1989	Ivlev, Yu. V. "Intensional construction of systems of modal logic" - The logic of scientific knowledge, 159-172, "Nauka", Moscow, 1987.	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	Zalta, Edward N. "On the structural similarities between worlds and times" - Philos. Stud. 51 (1987), no.2, 213-239._	Došen, Kosta	Информативни прилог	Мп категорија ће бити приказана накнадно.
1988	Second-order logic without variables	Došen, Kosta	Поглавље у монографији	Мп категорија ће бити приказана накнадно.
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-systems and groupoid models. I	Došen, Kosta	Научни чланак	Мп категорија ће бити приказана накнадно.
1988	Sequent-system and groupoid models. I	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	Информативни прилог	Мп категорија ће бити приказана накнадно.
1988	Uniqueness, definability and interpolation	Došen, Kosta	Научни чланак	22M22 - Међународни часопис категорије M22
1987	Negation and impossibility	Došen, Kosta	Конференцијски рад	Мп категорија ће бити приказана накнадно.
1987	A Note on Gentzen's Decision Procedure for Intuitionistic Propositional Logic	Došen, Kosta	Научни чланак	Мп категорија ће бити приказана накнадно.
1987	Materna, Pavel "'Linguistic constructions' in the transparent intensional logic" - Prague Bull. Math. Linguist. no. 43 (1985), 5-24.	Došen, Kosta	Информативни прилог	Мп категорија ће бити приказана накнадно.
1987	Antipenko, L.G."The problem of incompleteness of a theory and its epistemological significance" - "Nauka", Moscow, 1986., 224pp. 1.20r."	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	Информативни прилог	Мп категорија ће бити приказана накнадно.
1987	Yablo, Stephen "Truth and reflection" - J. Philos. Logic 14 (1985), no.3, 297-349.	Došen, Kosta	Информативни прилог	Мп категорија ће бити приказана накнадно.
1987	Ono, Hiroakira; Komori, Yuichi "Logics without the contraction rule" - J. Symbolic Logic 50 (1985), no.1, 169-201.	Došen, Kosta	Информативни прилог	Мп категорија ће бити приказана накнадно.
1987	Orlowska, Eva "Logic of nondeterministic information"	Došen, Kosta	Информативни прилог	Мп категорија ће бити приказана накнадно.
1987	Fitting, Melvin "Notes on the mathematical aspects of Kripke's theory of truth"	Došen, Kosta	Информативни прилог	Мп категорија ће бити приказана накнадно.
1987	Rauszer, Cecylia "Formalizations of certain intermediate logics I" - Methods in math. logic (Caracas, 1983), 360-384. lecture notes in Math., 1130,Springer, Berlin, 1985.	Došen, Kosta	Информативни прилог	Мп категорија ће бити приказана накнадно.