1
by Hodges, Wilfrid
Published 1993
Cambridge University Press
... and specification). Professor Hodges emphasises definability and methods of construction, and introduces the reader...