Results
| Title: | Cut elimination in adjunction | Authors: | Došen, Kosta   |
Issue Date: | 1999 | Publication: | The Bulletin of Section of Logic | ISSN: | 0138-0680 Bulletin of the Section of Logic (BSL) (Poland) Search Idenfier |
Publisher: | Lodz : 8 Marca 8 | Type: | Article | Collation: | vol. 28 br. No. 2 str. 61-73 | VBS COBISS: | 521537943 | URI: | https://plus.cobiss.net/cobiss/sr/sr/bib/521537943#izum.si https://enauka.gov.rs/handle/123456789/720133 |
M-category: | Mp. category will be shown later |
Items in eNauka are protected by copyright, with all rights reserved, unless otherwise indicated.