Mathematical Logic for Computer Science [electronic resource] / by Mordechai Ben-Ari.

Mathematical Logic for Computer Science is a mathematics textbook with theorems and proofs, but the choice of topics has been guided by the needs of computer science students. The method of semantic tableaux provides an elegant way to teach logic that is both theoretically sound and yet sufficiently...

Full description

Bibliographic Details

Online Access:	Full Text (via Springer)
Main Author:	Ben-Ari, Mordechai
Format:	Electronic eBook
Language:	English
Published:	London : Springer London, 2001.
Edition:	Second edition.
Subjects:	Computer science. Logic, Symbolic and mathematical. Electronic data processing.