Results
| Title: | An alternative Gentzenisation of RW+∘ | Authors: | Ilić, Mirjana   |
Issue Date: | 2016 | Publication: | Mathematical Logic Quarterly | ISSN: | 0942-5616 Mathematical Logic Quarterly Search Idenfier |
Type: | Article | Collation: | vol. 62 br. 6 str. 465-480 | DOI: | 10.1002/malq.201400084 | WoS-ID: | 000392019300001 | Scopus-ID: | 2-s2.0-85006855007 | URI: | https://enauka.gov.rs/handle/123456789/529263 | Metadata source: | Migrirano iz RIS podataka | M-category: | 23M23 |
Items in eNauka are protected by copyright, with all rights reserved, unless otherwise indicated.