Prikupljanje sredstava 15. septembra 2024 – 1. oktobra 2024 O prikupljanju novca
1
Substructural Logics

Substructural Logics

Peter Schroeder-Heister, Kosta Dosen
Godina:
1993
Jezik:
english
Fajl:
DJVU, 3.12 MB
0 / 0
english, 1993
2
Proof-Net Categories

Proof-Net Categories

Kosta DoSen, Zoran Petric
Godina:
2007
Jezik:
english
Fajl:
PDF, 612 KB
0 / 0
english, 2007
3
Proof-Theoretical Coherence

Proof-Theoretical Coherence

Kosta Došen, Zoran Petrić
Godina:
2004
Jezik:
english
Fajl:
PDF, 27.80 MB
0 / 0
english, 2004
4
Osnovna logika

Osnovna logika

Kosta Došen
Godina:
2013
Jezik:
serbian
Fajl:
PDF, 847 KB
0 / 0
serbian, 2013
5
Proof-Theoretical Coherence

Proof-Theoretical Coherence

Kosta Dosen, Zoran Petric
Godina:
2015
Jezik:
english
Fajl:
PDF, 1.29 MB
0 / 0
english, 2015
6
Substructural Logics

Substructural Logics

Kosta Došen, Peter Schroeder-Heister
Godina:
1994
Jezik:
english
Fajl:
DJVU, 3.70 MB
0 / 0
english, 1994
7
Cut elimination in categories

Cut elimination in categories

Došen, Kosta
Godina:
1999
Jezik:
english
Fajl:
DJVU, 1.42 MB
0 / 0
english, 1999
8
Cut Elimination in Categories

Cut Elimination in Categories

Kosta Došen
Godina:
1999
Jezik:
english
Fajl:
DJVU, 1.42 MB
0 / 0
english, 1999
9
Cut elimination in categories

Cut elimination in categories

Došen, Kosta
Godina:
2008
Jezik:
english
Fajl:
PDF, 1.19 MB
0 / 0
english, 2008
10
Cut Elimination in Categories

Cut Elimination in Categories

Kosta Došen
Godina:
1999
Jezik:
english
Fajl:
PDF, 1.34 MB
0 / 0
english, 1999