Mathematical logic and computability

Mathematical logic and computability

Show all versions (3)
Xehetasun bibliografikoak
Egile nagusia: Keisler, H. Jerome
Beste egile batzuk: Robbin, Joel W.
Formatua: Liburua
Argitaratua: New York McGraw-Hill c1996.
Gaiak:
Computable functions.
Logic, Symbolic and mathematical.
Formal languages.