Mathematical logic and computability

Bibliographic Details
Main Author:	Kiesler, H. Jerome
Other Authors:	Robbin, Joel
Format:	Book
Language:	English
Published:	New York McGraw-Hill c1996.
Subjects:	Computable functions. Logic, Symbolic and mathematical. Formal languages.