Mathematical logic and computability

Detaylı Bibliyografya
Yazar:	Kiesler, H. Jerome
Diğer Yazarlar:	Robbin, Joel
Materyal Türü:	Kitap
Dil:	English
Baskı/Yayın Bilgisi:	New York McGraw-Hill c1996.
Konular:	Computable functions. Logic, Symbolic and mathematical. Formal languages.