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:
Description
Physical Description:xi, 244 pages : illustrations ; 23 cm.
Bibliography:Includes bibliographical references (pages 227-228) and index.
ISBN:9810230915