Rezultati

еНаука >  Резултати >  Some preservation results for classical and intuitionistic satisfiability in kripke models
Назив: Some preservation results for classical and intuitionistic satisfiability in kripke models
Аутори: Marković, Zoran
Година: 1983
Публикација: Notre Dame Journal of Formal Logic
ISSN: 0029-4527 Notre Dame Journal of Formal Logic Претражи идентификатор
Издавач: Duke University Press
Тип резултата: Научни чланак
Колација: vol. 24 br. 3 str. 395-398
DOI: 10.1305/ndjfl/1093870383
Scopus-ID: 2-s2.0-84972547371
URI: http://researchrepository.mi.sanu.ac.rs/handle/123456789/1031
https://enauka.gov.rs/handle/123456789/578812
М-категорија: 
Мп категорија ће бити приказана накнадно.

4
SCOPUSTM
4
OpenCitations
Alt metrika
Dimensions
Unpaywall

Rezultati na eNauka su zaštićeni autorskim pravima i sva prava su zadržana, osim ako nije drugačije naznačeno.