Mathematical logic for computer science by Mordechai Ben-Ari.

By:

Material type: Text

TextPublication details: London : Springer, 2001.Edition: 3rd editionDescription: xv 346 p. ; 24 cmISBN:

Subject(s):

DDC classification:

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Collection	Call number	Status	Notes	Date due	Barcode
Books	Central Library, IISER Bhopal Reference Section	Reference	005.131 B43M3 (Browse shelf(Opens below))	Not For Loan	Reserve		8018

Previous					No cover image available			Next
Previous	005.1 Y32 25 years of model checking :	005.1076 P753R Requirements engineering fundamentals :	005.11 L11G2 Guide to Competitive Programming :	005.131 B43M3 Mathematical logic for computer science	005.131 G586M Mathematical logic through Python	005.133 G167B Beginning R :	005.133 G167B Beginning R :	Next

Includes bibliographical references and indexes.

There are no comments on this title.

to post a comment.