Computability and logic

Computability and logic

Tüm sürümleri göster (2)
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, New York Cambridge University Press 2007.
Edisyon:5th ed.
Konular:
Computable functions.
Recursive functions.
Logic, Symbolic and mathematical.
Online Erişim:Table of contents only