Omslagsbild

Mathematical logic and computability

Bibliografiska uppgifter
Huvudupphovsman: Kiesler, H. Jerome
Övriga upphovsmän: Robbin, Joel
Materialtyp: Bok
Språk:engelska
Publicerad: New York McGraw-Hill c1996.
Ämnen:
Computable functions.
Logic, Symbolic and mathematical.
Formal languages.