Mathematical Logic for Computer Science

ISBN-13: 9789971502515 / Angielski / Twarda / 1989 / 260 str.

Chung-WAN Lu

Opis

Zhongwan (mathematical logic, Academia Sinica, Beijing) presents an overview of both the peculiarities of logical systems and the requirements of computer logic, but does not specifically treat the application of the former to the latter. Topics include sets, inductive definitions and proofs, propos