Mathematical logic and computability

Mathematical logic and computability

Visa alla versioner (3)
Bibliografiska uppgifter
Huvudupphovsman: Keisler, H. Jerome
Övriga upphovsmän: Robbin, Joel W.
Materialtyp: Bok
Publicerad: New York McGraw-Hill c1996.
Ämnen:
Computable functions.
Logic, Symbolic and mathematical.
Formal languages.