Mathematical logic and computability

Bibliografische gegevens
Hoofdauteur:	Keisler, H. Jerome
Andere auteurs:	Robbin, Joel W.
Formaat:	Boek
Gepubliceerd in:	New York McGraw-Hill c1996.
Onderwerpen:	Computable functions. Logic, Symbolic and mathematical. Formal languages.