Rezultati
| Naziv: | Računske interpretacije intuicionističke i klasične logike | Autori: | Gilezan, Silvia |
Godina: | 2012 | Publikacija: | Sustavi dokazivanja, 29/06/2012, Dubrovnik, Croatia | Izdavač: | Zagreb : Fakultet strojarstva i brodogradnje , Matematički odsjek Prirodoslovno-matematičkog fakulteta | Tip rezultata: | Konferencijski rad | URI: | https://enauka.gov.rs/handle/123456789/190263 http://researchrepository.mi.sanu.ac.rs/handle/123456789/4252 |
URL: | http://imft.ftn.uns.ac.rs/math/cms/SD2012 | Izvor metapodataka: | Migrirano iz RIS podataka | Napomena o dostupnosti: | Подаци и/или пуни текст су непотпуни | M-kategorija: | Mp kategorija će biti prikazana naknadno. |
Rezultati na eNauka su zaštićeni autorskim pravima i sva prava su zadržana, osim ako nije drugačije naznačeno.