Rezultati

eNauka >  Rezultati >  On sequence-conclusion natural deduction systems
Naziv: On sequence-conclusion natural deduction systems
Autori: Boričić, Branislav  
Godina: 1985
Publikacija: Journal of Philosophical Logic
ISSN: 0022-3611 Journal of Philosophical Logic Pretraži identifikator
Tip rezultata: Naučni članak
Kolacija: vol. 14 br. 4 str. 359-377
URI: https://enauka.gov.rs/handle/123456789/780467
Izvor metapodataka: (Preuzeto iz ORCID-a) Boričić, Branislav
M-kategorija: 
Mp kategorija će biti prikazana naknadno.

Pronađi DOI


Rezultati na eNauka su zaštićeni autorskim pravima i sva prava su zadržana, osim ako nije drugačije naznačeno.