Došen, Kosta

Тип

Година

Мп-кат.

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

Година од:

Година до:

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

Година	Наслов	Аутор(и)	Тип резултата	Мп-кат.
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	Yablo, Stephen "Truth and reflection" - J. Philos. Logic 14 (1985), no.3, 297-349.	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	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	Š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	Negation as a modal operator	Došen, Kosta	Научни чланак	Мп категорија ће бити приказана накнадно.
1986	Modal translations and intuitionistic double negation	Došen, Kosta	Научни чланак	Мп категорија ће бити приказана накнадно.
1986	Modal duality theory	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	Hilbertovi problemi i logika	Mijajlović, Žarko; Marković, Zoran; 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	A Completeness Theorem for the Lambek Calculus of Syntactic Categories	Došen, Kosta	Научни чланак	Мп категорија ће бити приказана накнадно.
1985	Malyaukene, Liviya "Equivalence of some arithmetical system" - Mat. Logika Primenen. no.2 (1982), 9-30.	Došen, Kosta	Информативни прилог	Мп категорија ће бити приказана накнадно.
1985	Conservativeness and uniqueness	Došen, Kosta ; Schroeder-Heister, Peter	Научни чланак	Мп категорија ће бити приказана накнадно.
1985	Models for stronger normal intuitionistic modal logics	Došen, Kosta	Научни чланак	Мп категорија ће бити приказана накнадно.