Conte aos seus amigos sobre este item:
Proof Theory: Sequent Calculi and Related Formalisms - Discrete Mathematics and Its Applications Katalin Bimbo
Preço
R$ 517,90
excluindo impostos
Item sob encomenda (no estoque do fornecedor)
Espera-se estar pronto para envio 25 de set - 7 de out
Receba avisos sobre novos lançamentos de Katalin Bimbo
O que dizem nossos clientes:
Adicione à sua lista de desejos do iMusic
Também disponível como:
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
| Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
| Lançado | 14 de outubro de 2024 |
| ISBN13 | 9781032920771 |
| Editoras | Taylor & Francis Ltd |
| Páginas | 386 |
| Dimensões | 234 × 156 × 24 mm · 580 g |
| Idioma | Inglês |
