Došen, Kosta

Тип

Година

81 2000 - 2027
140 1901 - 1999

Мп-кат.

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

Година од:

Година до:

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

Година	Наслов	Аутор(и)	Тип резултата	Мп-кат.
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	Ono, Hiroakira; Komori, Yuichi "Logics without the contraction rule" - J. Symbolic Logic 50 (1985), no.1, 169-201.	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	A Note on Gentzen's Decision Procedure for Intuitionistic Propositional Logic	Došen, Kosta	Научни чланак	Мп категорија ће бити приказана накнадно.
1986	Higher-level sequent-system for intuitionistic modal logic	Došen, Kosta	Научни чланак	Мп категорија ће бити приказана накнадно.
1986	Modal duality theory	Došen, Kosta	Конференцијски рад	Мп категорија ће бити приказана накнадно.
1986	Šikić, Z. "Multiple forms of Gentzen's rules and some intermediate logics" - Z. Math. Logik Grundlag. Math. 30 (1984), no.4, 335-338.	Došen, Kosta	Информативни прилог	Мп категорија ће бити приказана накнадно.
1986	Muravitskii, A.Yu. "A result on the completeness of superintuitionistic logics" - Mat. Zametki 36 (1984), no.5, 765-776, 779.	Došen, Kosta	Информативни прилог	Мп категорија ће бити приказана накнадно.
1986	Alves, Elias H. "Paraconsistent logic and model theory" - Studia Logica 43 (1984), no.1-2, 17-32.	Došen, Kosta	Информативни прилог	Мп категорија ће бити приказана накнадно.
1986	Hilbertovi problemi i logika	Mijajlović, Žarko; Marković, Zoran; Došen, Kosta	Монографија	Мп категорија ће бити приказана накнадно.
1986	Negation as a modal operator	Došen, Kosta	Научни чланак	Мп категорија ће бити приказана накнадно.
1986	Yashin, A.D. "Nishimura's formulas as one-place logical connectives in the elementary theory of Kripke models" - Vestnik Moskov. Univ. Ser. I Mat. Mekh. 1984, no.5, 12-15.	Došen, Kosta	Информативни прилог	Мп категорија ће бити приказана накнадно.
1986	Drugush, Ya.M. "Finite approximability of forest superintuitionistic logics" - Mat. Zametki 36 (1984), no.5, 755-764, 799	Došen, Kosta	Информативни прилог	Мп категорија ће бити приказана накнадно.
1986	Modal translations and intuitionistic double negation	Došen, Kosta	Научни чланак	Мп категорија ће бити приказана накнадно.
1986	Wojtylak, Piotr "Collapse of a class of infinite disjunctions in intuitionistic propositional logic" - Rep. Math. Logic no.16 (1983), 37-49.	Došen, Kosta	Информативни прилог	Мп категорија ће бити приказана накнадно.
1985	Conservativeness and uniqueness	Došen, Kosta ; Schroeder-Heister, Peter	Научни чланак	Мп категорија ће бити приказана накнадно.
1985	A Completeness Theorem for the Lambek Calculus of Syntactic Categories	Došen, Kosta	Научни чланак	Мп категорија ће бити приказана накнадно.
1985	An intuitionistic sheffer function	Došen, Kosta	Научни чланак	Мп категорија ће бити приказана накнадно.
1985	Malyaukene, Liviya "Equivalence of some arithmetical system" - Mat. Logika Primenen. no.2 (1982), 9-30.	Došen, Kosta	Информативни прилог	Мп категорија ће бити приказана накнадно.