-
1
A Cut-Elimination Proof in Positive Relevant Logic with Necessity
Veröffentlicht in Studia logica
VolltextArtikel -
2
-
3
-
4
-
5
-
6
-
7
A note on the system GRW with the intensional contraction rule
Veröffentlicht in Logic journal of the IGPL
VolltextArtikel -
8
-
9
-
10
-
11
-
12
-
13
-
14
Cut Elimination and Decidability for Classical Lambek Logic
Veröffentlicht in Journal of logic and computation
VolltextArtikel -
15
-
16
-
17
-
18
Survey of the readiness of insurance companies in Serbia for solvency II
Veröffentlicht in Ekonomski anali
VolltextArtikel -
19
A note on an alternative Gentzenization of RW
Veröffentlicht in Mathematical logic quarterly
VolltextArtikel -
20
An Alternative Normalization of the Implicative Fragment of Classical Logic
Veröffentlicht in Studia logica
VolltextArtikel