Results
| Title: | Two Normalizations for Natural Deductions in Sequent Style | Authors: | Borisavljevic, Mirjana P | Issue Date: | 2019 | Publication: | JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS | ISSN: | 2055-3706  Search Idenfier |
Type: | Article | Collation: | vol. 6 br. 7 str. 1187-1222 | WoS-ID: | 000519571900001 | URI: | https://enauka.gov.rs/handle/123456789/992294 | Project: | Ministry of Education, Science and Technological Development of the Republic of Serbia [174026] | Metadata source: | (Preuzeto iz Nasi u WoS) | M-category: | Mp. category will be shown later |
Items in eNauka are protected by copyright, with all rights reserved, unless otherwise indicated.