Mathematical logic for computer science Mordechai Ben Ari

By:

Contributor(s):

Material type: Text

TextSeries: Publication details: Springer-Verlag, London 2008Edition: 23Description: Subject(s):

DDC classification:

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

Holdings
Item type	Current library	Home library	Call number	Status	Date due	Barcode
Book	Dept. of Mathematics Processing Center	Dept. of Mathematics	511.3 ARI-M2 (Browse shelf(Opens below))	Available		MAT5780

Previous	No cover image available No cover image available	No cover image available No cover image available	No cover image available No cover image available	No cover image available No cover image available		No cover image available No cover image available	No cover image available No cover image available	Next
Previous	511 GAR-M Mathematical puzzles and diversions from Scientific American	511.3 ADA-A Abstract and concrete categories: The joy of cats	511.3 AMB-L Logic: The theory of formal inferance	511.3 ARI-M2 Mathematical logic for computer science	511.3 BAA.K Kurt Gödel and the foundations of mathematics : horizons of truth /	511.3 BAR-H Handbook of mathematical logic	511.3 BEL-C Course in mathematical logic	Next

There are no comments on this title.

to post a comment.