 | 1998 |
|---|
| 5 |       | Zlatan Damnjanovic:
Strictly Primitive Recursive Realizability, II. Completeness with Respect to Iterated Reflection and a Primitive Recursive-Rule.
Notre Dame Journal of Formal Logic 39(3): 363-388 (1998) |
| 1995 |
|---|
| 4 | | Zlatan Damnjanovic:
Minimal Realizability of Intuitionistic Arithmetic and Elementary Analysis.
J. Symb. Log. 60(4): 1208-1241 (1995) |
| 1994 |
|---|
| 3 | | Zlatan Damnjanovic:
Strictly Primitive Recursive Realizability, I.
J. Symb. Log. 59(4): 1210-1227 (1994) |
| 2 | | Zlatan Damnjanovic:
Elementary Functions and LOOP Programs.
Notre Dame Journal of Formal Logic 35(4): 496-522 (1994) |
| 1991 |
|---|
| 1 | | James Cain,
Zlatan Damnjanovic:
On the Weak Kleene Scheme in Kripke's Theory of Truth.
J. Symb. Log. 56(4): 1452-1468 (1991) |
Data released under the ODC-BY 1.0 license — See also our legal information page