Computability and logic

Detaylı Bibliyografya
Yazar:	Boolos, George
Diğer Yazarlar:	Burgess, John P. 1948-, Jeffrey, Richard C.
Materyal Türü:	Kitap
Dil:	English
Baskı/Yayın Bilgisi:	Cambridge Cambridge University Press c2002.
Edisyon:	4th ed.
Konular:	Computable functions. Recursive functions. Logic, Symbolic and mathematical.