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

Main Author: Ben-Ari, Mordechai. (Author)
Corporate Author: SpringerLink (Online service)
Format: SpringerLink eBooks
Language:English
Published: London : Springer London : Imprint: Springer, 2001.
Edition:Second edition.
Subjects:
Online Access:http://dx.doi.org/10.1007/978-1-4471-0335-6

Internet

http://dx.doi.org/10.1007/978-1-4471-0335-6

3rd Floor Main Library

Call Number: A1234.567
Copy 1 Available