Rezultati

eNauka >  Results >  The Normalization Theorem for Extended Natural Deduction
Title: The Normalization Theorem for Extended Natural Deduction
Authors: Borisavljevic, Mirjana  
Issue Date: 2017
Publication: Publications de l’Institut Mathematique,
ISSN: 0350-1302 Publications de l#Institut Mathematique, Beograd Search Idenfier
Type: Article
Collation: vol. 101 br. 115 str. 75-98
DOI: 10.2298/PIM1715075B
WoS-ID: 000403745800007
Scopus-ID: 2-s2.0-85018420451
URI: https://enauka.gov.rs/handle/123456789/863736
Metadata source: (Preuzeto iz ORCID-a) Borisavljević, Mirjana
M-category: 
24M24

1
SCOPUSTM
1
WEB OF SCIENCETM
Alt metrika
Dimensions
Unpaywall

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