Mathematical logic and computability

Xehetasun bibliografikoak
Egile nagusia:	Kiesler, H. Jerome
Beste egile batzuk:	Robbin, Joel
Formatua:	Liburua
Hizkuntza:	English
Argitaratua:	New York McGraw-Hill c1996.
Gaiak:	Computable functions. Logic, Symbolic and mathematical. Formal languages.