Combinatory logic : pure, applied and typed
tarafından
Bimbo, Katalin, 1963, author.
Başlık
:
Combinatory logic : pure, applied and typed
Yazar
:
Bimbo, Katalin, 1963, author.
ISBN
:
9780429075285
Fiziksel Tanımlama
:
1 online resource (xi, 345 pages)
Seri
:
Discrete mathematics and its applications
Discrete mathematics and its applications.
İçerik
:
1. Elements of combinatory logic -- 2. Main theorems -- 3. Recursive functions and arithmetic -- 4. Connections to -calculi -- 5. (In)equational combinatory logic -- 6. Models -- 7. Dual and symmetric combinatory logics -- 8. Applied combinatory logic -- 9. Typed combinatory logic.
Konu Terimleri
:
Combinatory logic.
Elektronik Erişim
:
| Kütüphane | Materyal Türü | Demirbaş Numarası | Yer Numarası | [[missing key: search.ChildField.HOLDING]] | Durumu/İade Tarihi |
|---|
| Çevrimiçi Kütüphane | E-Kitap | 541654-1001 | QA9.5 .B56 2012 | | CRC E-Books |