1999 | ||
---|---|---|
3 | James Cain: The Theory of Computability Developed in Terms of Satisfaction. Notre Dame Journal of Formal Logic 40(4): 515-532 (1999) | |
1995 | ||
2 | James Cain: Arithmetic With Satisfaction. Notre Dame Journal of Formal Logic 36(2): 299-303 (1995) | |
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) |
1 | Zlatan Damnjanovic | [1] |