Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas /
This unique textbook, in contrast to a standard logic text, provides the reader with a logic that can be used in practice to express and reason about mathematical ideas. The book is an introduction to simple type theory, a classical higher-order version of predicate logic that extends first-order lo...
Uloženo v:
| Hlavní autor: | |
|---|---|
| Korporativní autor: | |
| Médium: | Elektronický zdroj E-kniha |
| Jazyk: | angličtina |
| Vydáno: |
Cham :
Springer Nature Switzerland : Imprint: Birkhäuser,
2025.
|
| Vydání: | 2nd ed. 2025. |
| Edice: | Computer Science Foundations and Applied Logic,
|
| Témata: | |
| On-line přístup: | https://doi.org/10.1007/978-3-031-85352-4 |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
Search Result 1
Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas /
Vydáno 2023
Získat plný text
Remote access required. Check library.juniv.edu
Elektronický zdroj
E-kniha