Course in mathematical logic J L Bell and M Machover

By:

Contributor(s):

Material type: Text

TextSeries: Publication details: Elsevier Science Publishers, New York 1986Edition: Description: 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 BEL-C (Browse shelf(Opens below))	Available		MAT4030

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		Next
Previous	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	511.3 BER-N Noncommutative rational series with applications	511.3 BES-P Petri net algebra	511.3 CAI.C Complexity dichotomies for counting problems Vol1	Next

There are no comments on this title.

to post a comment.