J. K. Truss
5 published titles
Logic Colloquium '86
(Contributor)
1 edition
- ISBN: 0444703268
- North-Holland
- 1988
- Details
Discrete mathematics for computer scientists
2 editions
- ISBN: 0201175649
- Addison-Wesley
- 1991
- Details
- ISBN: 0201360616
- Addison-Wesley
- 1999
- Details
Foundations of mathematical analysis
1 edition
- ISBN: 0198533756
- Clarendon Press
- 1997
- Details
Sets and proofs : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997
(Contributor)
1 edition
- ISBN: 0521635497
- Cambridge University Press
- 1999
- Details
Models and computabilty : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997
(Contributor)
1 edition
- ISBN: 0521635500
- Cambridge University Press
- 1999
- Details