FORMALIZACIJA INTUICIONISTIČKE TEORIJE TIPOVA KAO UVOD U HOMOTOPNU TEORIJU TIPOVA

eLibrary

 
 

FORMALIZACIJA INTUICIONISTIČKE TEORIJE TIPOVA KAO UVOD U HOMOTOPNU TEORIJU TIPOVA

Show simple item record

dc.contributor.author Urošević, Andrija
dc.contributor.editor Marić, Filip
dc.contributor.editor Čukić, Ivan
dc.date.accessioned 2024-12-19T11:29:20Z
dc.date.available 2024-12-19T11:29:20Z
dc.date.issued 2024
dc.identifier.uri http://hdl.handle.net/123456789/5733
dc.description.provenance Submitted by Slavisha Milisavljevic (slavisha) on 2024-12-19T11:29:20Z No. of bitstreams: 1 v1_masterAndrijaUrosevic.pdf: 629856 bytes, checksum: 8632809f84b95b7717d57c8a5cbf0469 (MD5) en
dc.description.provenance Made available in DSpace on 2024-12-19T11:29:20Z (GMT). No. of bitstreams: 1 v1_masterAndrijaUrosevic.pdf: 629856 bytes, checksum: 8632809f84b95b7717d57c8a5cbf0469 (MD5) Previous issue date: 2024 en
dc.format.medium A4 en_US
dc.language.iso sr en_US
dc.publisher Beograd en_US
dc.title FORMALIZACIJA INTUICIONISTIČKE TEORIJE TIPOVA KAO UVOD U HOMOTOPNU TEORIJU TIPOVA en_US
mf.document.pages 62 en_US
mf.contributor.editor-in-chief Stojanović Đurđević, Sana

Files in this item

Files Size Format View
v1_masterAndrijaUrosevic.pdf 629.8Kb PDF View/Open

This item appears in the following Collection(s)

Show simple item record