Резултати

еНаука >  Резултати >  Intuitionistic unprovability
Назив: Intuitionistic unprovability
Аутори: Dautović, Šejla  ; Zekić, Mladen  
Година: 2019
Публикација: Matematički vesnik
ISSN: 0025-5165 Matematički vesnik Претражи идентификатор
Издавач: Društvo Matematičara Srbije
Тип резултата: Научни чланак
Колација: vol. 71 br. 1-2 str. 180-189
WoS-ID: 000454662100014
Scopus-ID: 2-s2.0-85066980345
URI: http://researchrepository.mi.sanu.ac.rs/handle/123456789/639
https://enauka.gov.rs/handle/123456789/578662
URL: http://www.vesnik.math.rs/vol/mv191213.pdf
Пројекат: Representations of logical structures and formal languages and their application in computing
М-категорија: 
52M52 - Рад у истакнутом нац. часопису

Пронађи DOI


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