Electronic Resource

Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas

---

Buku teks ini adalah pengantar teori sederhana yang memperluas logika orde pertama. Ilustrasi buku ini menggunakan Alonzo, sangat cocok untuk mengekspresikan penalaran tentang ide-ide matematika. Pertama akan ada survey untuk konsep dan notasi matematika. Lalu dilanjutkan dengan sintax dan semantik serta teori morphin.

---

Availability

2301217E

004.0151 FAR s

Lt ; P3 ( My Library)

Available

Detail Information

Series Title

-

Call Number

004.0151 FAR s

Publisher

Switzerland : Springer Nature Switzerland., 2023

Collation

xiv, 295 p.

Language

English

ISBN/ISSN

9783031211126

Classification

000

Content Type

-

Media Type

-

Carrier Type

-

Edition

Pdf ed.

Subject(s)

Computer logic
Programming design
Computer math

Specific Detail Info

-

Statement of Responsibility

-

Other version/related

File Attachment

Comments

---

You must be logged in to post a comment