Rezultati
| Title: | IDentity Of Proofs Based On Normalization And Generality | Authors: | Došen, Kosta   |
Issue Date: | 2003 | Publication: | Bulletin of Symbolic Logic | ISSN: | 1079-8986 Bulletin of Symbolic Logic Search Idenfier |
Publisher: | Cambridge University Press | Type: | Article | Collation: | vol. 9 br. 4 str. 477-503 | DOI: | 10.2178/bsl/1067620091 | WoS-ID: | 000187206400002 | Scopus-ID: | 2-s2.0-0348173887 | URI: | https://enauka.gov.rs/handle/123456789/578677 http://researchrepository.mi.sanu.ac.rs/handle/123456789/703 https://plus.cobiss.net/cobiss/sr/sr/bib/521438103#izum.si |
M-category: | 21M21 |
Rezultati na eNauka su zaštićeni autorskim pravima i sva prava su zadržana, osim ako nije drugačije naznačeno.