Mathematical logic and computability

Bibliographische Detailangaben
1. Verfasser:	Keisler, H. Jerome
Weitere Verfasser:	Robbin, Joel W.
Format:	Buch
Veröffentlicht:	New York McGraw-Hill c1996.
Schlagworte:	Computable functions. Logic, Symbolic and mathematical. Formal languages.