Mathematical Logic for Computer Science

Mathematical Logic for
Computer Science

Book Cover Image

 Prentice-Hall International, 1993. ISBN 0-13-564139-X.