Mathematical logic and computability

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