Nishimura Hirokazu, "A cut-free sequential system for the propositional modal logic of finite chains" - Publ. Res. Inst. Math. Sci. 19 (1983), no.1, 305-316

Došen, Kosta

Резултати

еНаука > Резултати > Nishimura Hirokazu, "A cut-free sequential system for the propositional modal logic of finite chains" - Publ. Res. Inst. Math. Sci. 19 (1983), no.1, 305-316

Назив:	Nishimura Hirokazu, "A cut-free sequential system for the propositional modal logic of finite chains" - Publ. Res. Inst. Math. Sci. 19 (1983), no.1, 305-316
Аутори:	Došen, Kosta
Година:	1985
Публикација:	Mathematical Reviews
ISSN:	0025-5629 Претражи идентификатор
Издавач:	Providence, Rhode Island : American Mathematical Society
Тип резултата:	Информативни прилог
VBS COBISS:	521440663
URI:	https://plus.cobiss.net/cobiss/sr/sr/bib/521440663#izum.si https://enauka.gov.rs/handle/123456789/720015
М-категорија:	Мп категорија ће бити приказана накнадно.

Пронађи DOI

Проналажење DOI у сервису CrossRef-у на основу мета-података у запису. Приказаће се DOI (и метаподаци) чији се подаци највише поклапају. ОПРЕЗ - то не мора бити та публикација.

Резултати на еНаука су заштићени ауторским правима и сва права су задржана, осим ако није другачије назначено.