Mathematical Logic for Computer Science

by Mordechai Ben-Ari

Book Overview

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 students of computer science. The method of... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 1852333197
• Release Date: January 2003
• Publisher: Springer
• Length: 318 Pages
• Weight: 1.10 lbs.
• Dimensions: 9.3" x 0.7" x 6.1"