Mathematical logic and computability

Mathematical logic and computability

Visa alla versioner (3)
Bibliografiska uppgifter
Huvudupphovsmän: Keisler, H. Jerome (Författare, medförfattare), Robbin, Joel W. (Författare, medförfattare)
Materialtyp: Bok
Språk:English
Publicerad: New York McGraw-Hill [1996]
Serie:International series in pure and applied mathematics.
Ämnen:
Computable functions.
Logic, Symbolic and mathematical.
Formal languages.