Results

eNauka >  Results >  Računske interpretacije intuicionističke i klasične logike
Title: Računske interpretacije intuicionističke i klasične logike
Authors: Gilezan, Silvia  
Issue Date: 2012
Publication: Sustavi dokazivanja, 29/06/2012, Dubrovnik, Croatia
Publisher: Zagreb : Fakultet strojarstva i brodogradnje , Matematički odsjek Prirodoslovno-matematičkog fakulteta
Type: Conference Paper
URI: https://enauka.gov.rs/handle/123456789/190263
http://researchrepository.mi.sanu.ac.rs/handle/123456789/4252
URL: http://imft.ftn.uns.ac.rs/math/cms/SD2012
Metadata source: Migrirano iz RIS podataka
Availability note: Подаци и/или пуни текст су непотпуни
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.