Results

eNauka >  Results >  A normalizing system of natural deduction for relevant logic
Title: A normalizing system of natural deduction for relevant logic
Authors: Ilić, Mirjana M.  
Issue Date: 2017
Publication: Logic Colloquium 2017
Publisher: Stockholm
Type: Conference Paper
Collation: str. 129-130
URI: https://enauka.gov.rs/handle/123456789/494287
URL: https://www.math-stockholm.se/polopoly_fs/1.745278!/LC2017book.pdf
Metadata source: Migrirano iz RIS podataka
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.