Book:M. Ben-Ari/Mathematical Logic for Computer Science

M. Ben-Ari: Mathematical Logic for Computer Science
First published 1993, Prentice Hall, ISBN 0-13-564139-X.

Subject Matter

 * Mathematical Logic
 * Computer Science

Editions
If available, the contents of an edition can be viewed by following the link.

This book appears in the following editions:


 * First Edition, 1993, Prentice Hall, ISBN 0-13-564139-X
 * Second Edition, 2001, Springer Verlag, ISBN 1-85233-319-7
 * Third Edition, 2012, Springer, ISBN 1-4471-4128-0