Mathematical Logic for Computer Science (Prentice-hall International Series in Computer Science)

By Mordechai Ben-Ari

Book Overview

Designed to provide a firm foundation in mathematical logic, this work aims to serve as an elementary textbook for both graduate study and for applications of logic, such as logic programming and format specification and verification.

• Format: Paperback
• Language: English
• ISBN: 013564139X
• ISBN13: 9780135641392
• Release Date: January 1993
• Publisher: Prentice Hall
• Length: 305 Pages
• Weight: 1.05 lbs.
• Dimensions: 9.5" x 0.8" x 7.0"