TY  - THES
ID  - hrstud:3379
TI  - Logička formalizacija evidencije u evidencijalnim jezicima
AU  - Šekrst, Kristina
DP  - DABAR (Digitalni akademski arhivi i repozitoriji)
ER  - 
TY  - THES
ID  - ifzg:179
TI  - Logičko pojmovna struktura Brouwerova intuicionizama
AU  - Restović, Ivan
DP  - DABAR (Digitalni akademski arhivi i repozitoriji)
ER  - 
TY  - THES
ID  - hrstud:1833
TI  - Logičko pojmovna struktura Brouwerova intuicionizama
AU  - Restović, Ivan
DP  - DABAR (Digitalni akademski arhivi i repozitoriji)
ER  - 
TY  - THES
ID  - hrstud:1805
TI  - RAZGRANATA TEORIJA TIPOVA KAO INTENZIONALNA LOGIKA
AU  - Lojkić, Goran
DP  - DABAR (Digitalni akademski arhivi i repozitoriji)
ER  - 
TY  - THES
ID  - hrstud:1828
TI  - Normativno i deskriptivno u zaključivanju
AU  - Sekulić, Dragana
DP  - DABAR (Digitalni akademski arhivi i repozitoriji)
ER  -