ENGLISH

Mathematical Logic for Computer Science

By Mordechai Ben-Ari

Book information

Publisher
Springer
Year
2003
ISBN
1852333197, 9781852333195
LCC
QA9 .B3955 2003
Open Library ID
OL23169648M
Language
english
Format
PDF
Filesize
22 MB (23003928 bytes)
Series
Prentice-Hall International Series in Computer Science
Edition
2nd,Revised
Pages
160\160
Library
Kingdwarf
Scanned
yes
Time added
2010-01-07 06:59:20

Description

Designed to provide a firm foundation in mathematical logic, this book provides an elementary yet rigorous textbook for both graduate study and for applications of logic, such as logic programming and formal specification and verification. The text supplies the mathematics often treated sketchily in introductory computer science books, while using the simplest techniques rather than the most general used in mathematical books.

Similar books