Mathematical Logic for Computer Science /

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

Main Author:	Ben-Ari, Mordechai
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	London : Springer London, 2001.
Edition:	Second edition.
Subjects:	Computer science. Logic, Symbolic and mathematical. Electronic books.
Online Access:	Connect to the full text of this electronic book