Došen, Kosta

Тип

Година

Мп-кат.

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

Година од:

Година до:

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

Година	Наслов	Аутор(и)	Тип резултата	Мп-кат.
1989	Doichinov Doichin, "The parallel axiom and the continuum hypothesis" - Fiz.-Mat. Spis. Bulgar. Akad. Nauk. 29(62) (1987), no.4, 257-264.	Došen, Kosta	Информативни прилог	Мп категорија ће бити приказана накнадно.
1988	Sequent-system and groupoid models. I	Došen, Kosta	Научни чланак	Мп категорија ће бити приказана накнадно.
1988	Bellin, Gianluigi "A system of natural deduction for Gl" - Theoria 51 (1985), no.2, 89-114.	Došen, Kosta	Информативни прилог	Мп категорија ће бити приказана накнадно.
1988	Weston, S. Thomas, "Approximate truth" - J. Philos. Logic 16 (1987), no.2, 203-227.	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	Информативни прилог	Мп категорија ће бити приказана накнадно.
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	Uniqueness, definability and interpolation	Došen, Kosta	Научни чланак	22M22 - Међународни часопис категорије M22
1988	Sequent-systems and groupoid models. I	Došen, Kosta	Научни чланак	Мп категорија ће бити приказана накнадно.
1988	Second-order logic without variables	Došen, Kosta	Поглавље у монографији	Мп категорија ће бити приказана накнадно.
1987	A Note on Gentzen's Decision Procedure for Intuitionistic Propositional Logic	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	Информативни прилог	Мп категорија ће бити приказана накнадно.
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	Materna, Pavel "'Linguistic constructions' in the transparent intensional logic" - Prague Bull. Math. Linguist. no. 43 (1985), 5-24.	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	Negation and impossibility	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	Информативни прилог	Мп категорија ће бити приказана накнадно.
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	Problem section - Problem 27	Došen, Kosta	Научни чланак	Мп категорија ће бити приказана накнадно.