Welcome to Air University Central Library and Fazaia Medical College Library. (Sign in with Your email. Your user name is the same as your student ID number or Employee ID number for password, please contact Circulation Staff)

Amazon cover image
Image from Amazon.com

Mathematical logic for computer science / Mordechai Ben-Ari.

By: Material type: TextTextSeries: Prentice-hall international series in computer sciencePublication details: [S.l.] : Prentice Hall, 1993.Edition: 1st edDescription: 320 p. ; 25 cmISBN:
  • 013564139X (paperback)
  • 9780135641392 (paperback)
DDC classification:
  • 511.3
Online resources: Summary: 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.
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Collection Call number Status Barcode
Book Book Air University Central Library Islamabad NFIC 511. BEN (Browse shelf(Opens below)) Available P0458

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.

There are no comments on this title.

to post a comment.
Air University Sector E-9, Islamabad Paksitan
Email: librarian@au.edu.pk  Tel : +0092 51 9262612 Ext: 631