Došen, Kosta

Тип

Година

81 2000 - 2027
140 1901 - 1999

Мп-кат.

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

Година од:

Година до:

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

Година	Наслов	Аутор(и)	Тип резултата	Мп-кат.
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	Ballard, David "Independence in higher-order subclassical logic" - Notre Dame J. Formal Logic 26 (1985), no.4, 444-454.	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	Научни чланак	Мп категорија ће бити приказана накнадно.
1987	Antipenko, L.G."The problem of incompleteness of a theory and its epistemological significance" - "Nauka", Moscow, 1986., 224pp. 1.20r."	Došen, Kosta	Информативни прилог	Мп категорија ће бити приказана накнадно.
1986	Negation as a modal operator	Došen, Kosta	Научни чланак	Мп категорија ће бити приказана накнадно.
1986	Modal duality theory	Došen, Kosta	Конференцијски рад	Мп категорија ће бити приказана накнадно.
1986	Hilbertovi problemi i logika	Mijajlović, Žarko; Marković, Zoran; 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	Muravitskii, A.Yu. "A result on the completeness of superintuitionistic logics" - Mat. Zametki 36 (1984), no.5, 765-776, 779.	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	Higher-level sequent-system for intuitionistic modal logic	Došen, Kosta	Научни чланак	Мп категорија ће бити приказана накнадно.
1986	Modal translations and intuitionistic double negation	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	Wojtylak, Piotr "Collapse of a class of infinite disjunctions in intuitionistic propositional logic" - Rep. Math. Logic no.16 (1983), 37-49.	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	Информативни прилог	Мп категорија ће бити приказана накнадно.
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	Информативни прилог	Мп категорија ће бити приказана накнадно.
1985	Sequent-systems for modal logic	Došen, Kosta	Научни чланак	21M21 - Водећи међународни часопис категорије M21
1985	Anshakov, O.M.; Rychkov, S.V. "Axiomatization of finite-valued logical calculi" - Mat. Sb. (N.S.) 123(165) (1984), no.4, 477-495.	Došen, Kosta	Информативни прилог	Мп категорија ће бити приказана накнадно.