Mathematical logic for computer science /

Bibliographic Details
Main Author:	Lü, Zhongwen
Format:	Book
Language:	English
Published:	Singapore ; River Edge, NJ : World Scientific, [1998]
Edition:	2nd ed.
Series:	Series in computer science ; vol. 47.
Subjects:	Computer science > Mathematics.

Evans: Library Stacks