| |
| 2003 | ||
|---|---|---|
| 3 | EE | Dev Kumar Roy: The shortest definition of a number in Peano arithmetic. Math. Log. Q. 49(1): 83-86 (2003) |
| 1993 | ||
| 2 | Dev Kumar Roy: Recursive versus recursively enumerable binary relations. Studia Logica 52(4): 587-594 (1993) | |
| 1983 | ||
| 1 | Dev Kumar Roy: R.E. Presented Linear Orders. J. Symb. Log. 48(2): 369-376 (1983) | |