著者典拠情報

著者標目形：
Truss, J. K
属性：
Personal
から見よ参照形：
Truss, John K
注記：
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)
著者典拠ID：
DA02119310


1.

図書
図書
1. Discrete mathematics for computer scientists. 2nd ed
J. K. Truss
出版情報: Harlow, England ; Reading, Mass. : Addison-Wesley, c1999
所蔵情報: 図書館
2.

図書
図書
2. Foundations of mathematical analysis
J.K. Truss
出版情報: Oxford : Clarendon Press , New York : Oxford University Press, 1997
シリーズ名: Oxford science publications
所蔵情報: 研究室