Mathematical logic and computability

Mathematical logic and computability

Visa alla versioner (4)
Bibliografiska uppgifter
Huvudupphovsman: Keisler, H. Jerome
Övriga upphovsmän: Robbin, Joel, Miller, Arnold
Materialtyp: Bok
Språk:English
Publicerad: New York McGraw-Hill c1996.
Ämnen:
Logic, Symbolic and mathematical.
Computable functions.