Mathematical Logic for Computer Science by Mordechai Ben-Ari
English | Feb 2003 | ISBN: 1852333197, 013564139X | 309 Pages | PDF/DJVU | 62/2 MB
This is a mathematics textbook with theorems and proofs. 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 elementary for undergraduates.