Mathematical logic and computability

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