Results
| Title: | Extended natural deduction images of conversions from the system of sequents | Authors: | Borisavljević, Mirjana   |
Issue Date: | 2004 | Publication: | Journal of logic and computation | ISSN: | 0955-792X Journal of Logic and Computation Search Idenfier |
Publisher: | Oxford : Oxford University Press | Type: | Article | Collation: | vol. 14 br. 6 str. 769-799 | DOI: | 10.1093/logcom/14.6.769 | WoS-ID: | 000226031100001 | Scopus-ID: | 2-s2.0-10944229025 | VBS COBISS: | 1027295669 | URI: | https://enauka.gov.rs/handle/123456789/643498 https://plus.cobiss.net/cobiss/sr/sr/bib/1027295669#izum.si |
M-category: | 22M22 |
Items in eNauka are protected by copyright, with all rights reserved, unless otherwise indicated.