Mathematical logic and computability

Mathematical logic and computability

Zobrazit všechna vydaní (2)
Podrobná bibliografie
Hlavní autor: Kiesler, H. Jerome
Další autoři: Robbin, Joel
Médium: Kniha
Jazyk:English
Vydáno: New York McGraw-Hill c1996.
Témata:
Computable functions.
Logic, Symbolic and mathematical.
Formal languages.