| NCID | DA02119310 |
| 名称(HDNG) | Truss, J. K |
| から見よ(SF) | Truss, John K |
| 注記(NOTE) | University of Leeds
EDSRC:Models and computability : invited papers from Logic Colloquium '97 - European Meeting of the Association for Symbolic Logic, Leeds, July 1997 / edited by S. Barry Cooper, John K. Truss(Cambridge University Press, 1999) |
| LCAID | 82015401 |