adicionar à lista de desejos
Proof Theory
Sequent Calculi And Related Formalisms
idioma: inglês
Editor:
TAYLOR & FRANCIS LTD, outubro de 2024 ‧
ver detalhes do produto
56,77€
30% DESCONTO
IMEDIATO
WXpsRVkzbFJWMDVTYTJsc1lXRkZkRlZNVEVKcFZuQkZOazFUWTBNMVdHUmlOVzlaTVV4UmRtRm5WMXBwTTJkb1ptZHhSVVpWTTJGbk4xWjBOR3ByTURFdloycERTRk54YjBWSlpVNTFUbVpvUzBaaE5rRkxlVkZTY3pKRE5YQkhZMmhhUmxGeFNtZENSM1ptUTBKMVVGUlhZa1pKWnpWclpuRmpTa2syTnpSa1VDdGFNREJsUkVkVlYwcDVSRmRCWlhkcVl6aHRVR3QwY0hNMmFtMUtZM0pGYUVWWk0xQktkMDloWm5aVk1tNUhaRzFVUTFsMU1WTlBZelF3WlhOdlEyc3hhR3QxUkN0WU5XSm9abk12ZVhsdldYTlpjaXM1U1cwMlVqQklSbTFhZDFsd0sxVk9XWEkyY1hONFJqWnlVVVU0ZEVOWFJrTjJkM2Q1VTNGNFRITjVNbk5qVkZaWFlteEZlbFpuYnpGNlZrTnVRVU5qUlVKRGRYSlVSVVo1UlRndmVXWk1jVmQwYzAxeE5tcFFaRTkxWkZjNFpHb3lVakpZZGxObWJXRmpZaXRzVDNKdVYyRkhla2w2Tld4SlJscHVkMVYzVUVwT04yOVhhV2t3TWpoUE5GUjJNbTAwWW05a2VGVk5SakJ5UzNRNE1tZ3dSVFZXVTNwSVdqTnllVWs0V0UxbU1VUlBlVWhZUWpOWFNGZzBlSFo0TjIxRVRHdzFObU14U2toME5IRkNhRVpOWWpodmIxQTRkSFZhYm5WVGRWZzRlR1U0U3pSd1FsQklaRklyVVdGMk5XRlhVMm9yWjFWRVJEUjBOa3ROWlhkbE9XcFlWSHBUWWxFNVpuRjZObFo1VTNSdlIyUXZSVGMwU2xOVldtdzJVMHB3VUZaYWVuUm5ZVlZIWVZoYVRXWXlWMFE0U0RJcllYTnFNRTlHYW5sdlF6bDJVbk5SZURRd1JVOW5SamM0WTBadFJGTmtjR1IyUVdjd1ZFeHBUbWx2YlV4bEszSnRSRVo0Um5aTk1WUkdaRkZPVVhkbVNuZHRhWFIzUXpSTE4xQm5ObkJUWmxoQ1pUbFFSRnB6ZEdwMmFVZGhkSE5yV1hWd2NXUnhaMlJEU2tGRFkyRjZWalEyZVhwb1RGRTJNR1F6VTNWMlRUUmlTRWxQWmxSVEswRTlQUT09OkhEaEdiQjhZemZKZmlyT3lvL0VTRWc9PQ==
portes grátis
Venda o seu livro
SINOPSE
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
DETALHES
| Propriedade | Descrição |
|---|---|
| ISBN: | 9781032920771 |
| Editor: | TAYLOR & FRANCIS LTD |
| Data de Lançamento: | outubro de 2024 |
| Idioma: | Inglês |
| Dimensões: | 156 x 234 x 20 mm |
| Encadernação: | Capa mole |
| Páginas: | 386 |
| Tipo de produto: | Livro |
| Coleção: | Discrete Mathematics And Its Applications |
| Classificação Temática: |
Livros em Inglês
>
Ciências Exatas e Naturais
>
Matemática
Livros em Inglês > Ciências Sociais e Humanas > Filosofia Livros em Inglês > Outros |
| EAN: | 9781032920771 |
LIVROS DA MESMA COLEÇÃO
-
Handbook Of Combinatorial Algebraic GeometryPré-lançamento30%TAYLOR & FRANCIS LTD217,65€
310,93€portes grátis -
Introduction To Enumerative And Analytic CombinatoricseBook10%CRC PRESS115,66€
128,51€
-
Proof Theory30%TAYLOR & FRANCIS INC113,56€
162,23€portes grátis -
Generalized Galois LogicsCENTRE FOR THE STUDY OF LANGUAGE & INFORMATION28,39€portes grátis