Logic : a foundation for computer science
V. Sperschneider & G. Antoniou.
Wokingham, England : Addison-Wesley, ©1991.
xii, 495 págs. : ilustraciones ; 24 cm.
Serie: International computer science series
ISBN: 0201565145
Incluye referencias bibliográficas (p. [485]-490) e índice.
Reseña: MathSciNet, 93a:03002