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 304 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 Książki po angielsku Mathematics & science Mathematics Mathematical foundations

• Pełny tytuł: Methods of Cut-Elimination
• Autor: Alexander Leitsch, Matthias Baaz
• Język: Angielski
• Oprawa: Twarda
• Liczba stron: 290
• EAN: 9789400703193
• ISBN: 9400703198
• ID: 02065390
• Wydawca: Springer
• Waga: 568 g
• Wymiary: 239 × 159 × 24 mm
• Data wydania: 14. January 2011

Ulubione w innej kategorii

---

---

---