Results

eNauka >  Rezultati >  Bellin, Gianluigi "A system of natural deduction for Gl" - Theoria 51 (1985), no.2, 89-114.
Naziv: Bellin, Gianluigi "A system of natural deduction for Gl" - Theoria 51 (1985), no.2, 89-114.
Autori: Došen, Kosta  
Godina: 1988
Publikacija: Mathematical Reviews
ISSN: 0025-5629 Pretraži identifikator
Izdavač: Providence, Rhode Island : American Mathematical Society
Tip rezultata: Informativni prilog
VBS COBISS: 521461399
URI: https://plus.cobiss.net/cobiss/sr/sr/bib/521461399#izum.si
https://enauka.gov.rs/handle/123456789/746873
M-kategorija: 
Mp kategorija će biti prikazana naknadno.

Find the DOI


Items in eNauka are protected by copyright, with all rights reserved, unless otherwise indicated.