Mathematical logic for computer science /

By:

Material type: Text

TextPublication details: Berlin: Springer-Verlag, 2001Edition: 2ndDescription: xiv, 304p. Bibl. IndexISBN:

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	Call number	Status	Notes	Date due	Barcode
Book	ISID	511.3 B456.ML (Browse shelf(Opens below))	Available	Ord num:6380; Ord dt:2003-03-07		DP25920

Previous		No cover image available	No cover image available		No cover image available			Next
Previous	511.3 Ar664.BM Brains, machines and mathematics /	511.3 Au925.OR On orderable set functions and continuity	511.3 B296.SS Syntax and semantics of infinitary languages	511.3 B456.ML Mathematical logic for computer science /	511.3 B524.AS Axiomatic set theory /	511.3 B766.TS Theory of Sets /	511.3 B766.TS Theory of Sets /	Next

There are no comments on this title.

to post a comment.