Mathematical logic and computability

Mathematical logic and computability

Show all versions (2)
Bibliografiske detaljer
Hovedforfatter: Kiesler, H. Jerome
Andre forfattere: Robbin, Joel
Format: Bog
Sprog:English
Udgivet: New York McGraw-Hill c1996.
Fag:
Computable functions.
Logic, Symbolic and mathematical.
Formal languages.