Mathematical logic and computability

Bibliographic Details
Main Author:	Keisler, H. Jerome
Other Authors:	Robbin, Joel W.
Resource Type:	Book
Published:	New York McGraw-Hill c1996.
Subjects:	Computable functions. Logic, Symbolic and mathematical. Formal languages.

Accession #	Call #	Volume/Part#	Copy #	Collection	Circulation Type	Circulation Status
BC-56820	QA 9.59 K44 1996				Regular Circulation	On-Shelf