| Authors: | Ghilezan, Silvia | Title: | Računske interpretacije intuicionističke i klasične logike | Conference: | Sustavi dokazivanja, 29/06/2012, Dubrovnik, Croatia | Issue Date: | 2012 | URL: | http://imft.ftn.uns.ac.rs/math/cms/SD2012 |
Show full item record
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.