Pastāsti draugiem par šo preci:
Proof Theory: Sequent Calculi and Related Formalisms - Discrete Mathematics and Its Applications Katalin Bimbo
Cena
€ 93,49
Pasūtīts no attālās noliktavas
Paredzamā piegāde . gada 24. sept. - . gada 8. okt.
Saņemiet paziņojumus par jauniem Katalin Bimbo izdevumiem
Mūsu klienti saka:
Pievienot savam iMusic vēlmju sarakstam
Pieejams arī kā:
Proof Theory: Sequent Calculi and Related Formalisms - Discrete Mathematics and Its Applications
Katalin Bimbo
Although sequent calculi constitute an important category of proof systems, they are not as well known as axiomatic and natural deduction systems. Addressing this deficiency, this book presents a comprehensive treatment of sequent calculi, including a wide range of variations. It focuses on sequent calculi for various non-classical logics, from
386 pages, 13 Illustrations, black and white
| Mediji | Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru) |
| Izlaists | 2024. gada 14. oktobris |
| ISBN13 | 9781032920771 |
| Izdevēji | Taylor & Francis Ltd |
| Lapas | 386 |
| Izmēri | 234 × 156 × 24 mm · 580 g |
| Valoda | Angļu |
