ENGLISH

Mathematical Logic For Computer Science

By Mordechai Ben-Ari

Book information

Publisher
Prentice Hall
Year
1993
ISBN
9780135641392, 0-13-564139-X, 1-85233-319-7, 1-85233-319-7-2
LCC
QA9 .B3955 1993
Open Library ID
OL1719529M
Language
english
Format
PDF
Filesize
20 MB (21371466 bytes)
Series
Prentice-Hall International Series in Computer Science
Edition
1st
Pages
160\160
Library
Springer
Time added
2009-08-06 07:02:15

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