Logic for computer science
Steve Reeves, Michael Clarke.
Wokingham, England : Addison-Wesley, ©1990.
xi, 260 págs. : ilustraciones ; 24 cm.
Serie: International computer science series
ISBN: 0201416433
Incluye referencias bibliográficas (p. 255-256) e índice.