Computability and logic

Computability and logic

Zobrazit všechna vydaní (2)
Podrobná bibliografie
Hlavní autor: Boolos, George
Další autoři: Burgess, John P. 1948-, Jeffrey, Richard C.
Médium: Kniha
Jazyk:English
Vydáno: Cambridge Cambridge University Press c2002.
Vydání:4th ed.
Témata:
Computable functions.
Recursive functions.
Logic, Symbolic and mathematical.