Omslagsbillede

Mathematical logic and computability

Bibliografiske detaljer
Hovedforfatter: Keisler, H. Jerome
Andre forfattere: Robbin, Joel W.
Format: Bog
Udgivet: New York McGraw-Hill c1996.
Fag:
Computable functions.
Logic, Symbolic and mathematical.
Formal languages.