Rezultati
| Naziv: | Two ways of general proof theory | Autori: | Došen, Kosta |
Godina: | 2013 | Publikacija: | Second Conference on Proof-Theoretic Semantics | Izdavač: | Eberhard Karls Universitaet Tuebingen, Nemačka | Tip rezultata: | Konferencijski rad | URI: | https://enauka.gov.rs/handle/123456789/554503 | URL: | http://ls.informatik.uni-tuebingen.de/PTS/pts.htm | Izvor metapodataka: | Migrirano iz RIS podataka | 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.