Резултати

eNauka >  Rezultati >  Intuitionistic logic in categorial proof theory
Naziv: Intuitionistic logic in categorial proof theory
Autori: Došen, Kosta  
Godina: 2013
Publikacija: International Conference Constructive Mathematics: Foundations and Practice
Izdavač: Univerzitet u Nišu, Srbija
Tip rezultata: Konferencijski rad
URI: https://enauka.gov.rs/handle/123456789/390879
URL: http://www.masfak.ni.ac.rs/cmfp2013/Invited_Speakers.html
Izvor metapodataka: Migrirano iz RIS podataka
M-kategorija: 
Mp kategorija će biti prikazana naknadno.

Пронађи DOI

Google ScholarTM

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