edited by S. Barry Cooper, John K. Truss

Cambridge University Press 1999 London Mathematical Society lecture note series 258

Available at 69 libraries

J.K. Truss

Clarendon Press , Oxford University Press 1997 Oxford science publications

Available at 13 libraries

edited by F.R. Drake and J.K. Truss

North-Holland 1988 Studies in logic and the foundations of mathematics v. 124

Available at 40 libraries