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:
Elektronik Erişim:
https://doi.org/10.1007/978-3-031-21112-6Kopya:
Rafta:*
Kütüphane | Materyal Türü | Demirbaş Numarası | Yer Numarası | Durumu/İade Tarihi | Materyal Ayırtma |
|---|---|---|---|---|---|
Arıyor... | E-Kitap | 520259-1001 | XX(520259.1) | Arıyor... | Arıyor... |