Results

eNauka >  Results >  Computing with sequents and diagrams in classical logic - calculi *X, dX and ©X
Title: Computing with sequents and diagrams in classical logic - calculi *X, dX and ©X
Authors: Zunic, Dragisa  
Issue Date: 2007
Type: Other
URI: https://enauka.gov.rs/handle/123456789/875152
URL: https://theses.hal.science/tel-00265549
Metadata source: (Preuzeto iz ORCID-a) Žunić, Dragiša
M-category: 
Mp. category will be shown later

Find the DOI

Google ScholarTM

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