Zobacz książki o podobnej tematyce

Więcej informacji o Methods of Cut-Elimination

• Dane szczegółowe
• Opis
• Ulubione w innej kategorii

Za ten zakup dostaniesz 345 punkty

Opis

This book offers a thorough, rigorous analysis of reductive cut-elimination methods and an in-depth presentation of the recent method CERES developed by the authors. It includes several applications of CERES and an extension of CERES to non-classical logics.

Szczegóły książki

Kategoria Knihy po anglicky Computing & information technology Computer science Mathematical theory of computation

• Pełny tytuł: Methods of Cut-Elimination
• Autor: Matthias Baaz, Alexander Leitsch
• Język: Angielski
• Oprawa: Miękka
• Liczba stron: 290
• EAN: 9789400734975
• ISBN: 9400734972
• ID: 01979707
• Wydawca: Springer Netherlands
• Waga: 419 g
• Wymiary: 14 × 158 × 15 mm
• Rok wydania: 2013

Ulubione w innej kategorii

---

---

---