Delivery included to the United States

Mathematical Logic for Computer Science

Mathematical Logic for Computer Science - Prentice Hall International Series in Computer Science

Paperback (01 Oct 1992)

Not available for sale

Out of stock

This service is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.

Publisher's Synopsis

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.

About the Publisher

Prentice Hall

Book information

ISBN: 9780135641392
Publisher: Prentice Hall
Imprint: Prentice Hall
Pub date:
DEWEY: 511.3
DEWEY edition: 20
Number of pages: 305
Weight: 490g
Height: 235mm
Width: 172mm
Spine width: 19mm