| 2000 | ||
|---|---|---|
| 3 | Victor N. Krivtsov: A Negationless Interpretation of Intuitionistic Theories I. Studia Logica 64(3): 323-344 (2000) | |
| 2 | Victor N. Krivtsov: A Negationless Interpretation of Intuitionistic Theories, II. Studia Logica 65(2): 155-179 (2000) | |
| 1999 | ||
| 1 | Victor N. Krivtsov: Note on extensions of Heyting's arithmetic by adding the "creative subject". Arch. Math. Log. 38(3): 145-152 (1999) | |