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, New York Cambridge University Press 2007.
Vydání:5th ed.
Témata:
Computable functions.
Recursive functions.
Logic, Symbolic and mathematical.
On-line přístup:Table of contents only