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

eBibliothek Repositorium

 
 

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

Zur Kurzanzeige

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

Dateien zu dieser Ressource

Dateien Größe Format Anzeige
v1_masterAndrijaUrosevic.pdf 629.8Kb PDF Öffnen

Das Dokument erscheint in:

Zur Kurzanzeige