Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas
tarafından
Farmer, William M. author.
Başlık
:
Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Yazar
:
Farmer, William M. author.
ISBN
:
9783031211126
Basım Bilgisi
:
1st ed. 2023.
Fiziksel Tanımlama
:
XIV, 295 p. 10 illus., 3 illus. in color. online resource.
Seri
:
Computer Science Foundations and Applied Logic,
İçerik
:
1 Introduction -- 2 Answers to Readers' Questions -- 3 Preliminary Concepts -- 4 Syntax -- 5 Semantics -- 6 Additional Notation -- 7 Beta-reduction and Substitution -- 8 Proof Systems -- 9 Theories -- 10 Sequences -- 11 Developments -- 12 Real Number Mathematics -- 13 Morphisms 14 Alonzo Variants -- 15 Software Support.
Tüzel Kişi Ek Girişi
:
SpringerLink (Online service)
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 | 520259-1001 | ONLINE | | Elektronik Kütüphane |