Results

eNauka >  Results >  Suppes–style natural deduction system for classical logic
Title: Suppes–style natural deduction system for classical logic
Authors: Boričić, Marija B.  
Issue Date: 2019
Publication: Logic Colloquium 2019
Publisher: Prague
Type: Conference Paper
URI: https://enauka.gov.rs/handle/123456789/354810
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.