Computability and logic
Başlık
:
Computability and logic
ISBN
:
9780521809757
9780521007580
Yazar
:
Boolos, George
Basım Bilgisi
:
4. bs.
Yayım Bilgisi
:
Cambridge : Cambridge University Press, 2002.
Fiziksel Açıklamalar
:
xi, 356 s. : şkl. ; 27 cm
Genel Not
:
Kaynakça var.
Konu Terimleri
:
Hesaplanabilir fonksiyonlar
Computable functions
Yinelgen fonksiyon
Recursive functions
Sembolik ve matematiksel mantık
Symbolic and mathematical logic
Ek Yazar
:
Burgess, John P.
Jeffrey, Richard C.
Kütüphane | Materyal Türü | Demirbaş | Yer Numarası | Durumu/İade Tarihi |
---|
İKÜ Ataköy Yerleşkesi Kütüphanesi | Kitap | 019783 | 511.3 BOOc 2002 | Ataköy Yerleşkesi B-1 Katı |