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
76,64€
10% DESCONTO
IMEDIATO
V1daS2NEbHVSR2xhT0ZKamRsVjViMlY1TjI5bGIwbzFWbkZJVGpGeVVYZFlZbUZpWkV4Q1YzbG1NR05sUkRaNFdUWXJiRlpVZEVOalNpdEhjRk5JS3k5VldqazVXV1pxWVZOdWRrZFpSbEJKTlRCRlVuTldUV1I0VFdkVk1qSnFVREZ3V0RSWWRUazNha0Z0Unl0RVNqVnZSSEZEUm5KUmJUUnJZa3AyZWxCQmRDOXVkbTlhWlU1R01rVm1jSFpMY0ZBMlp6SlpZMUJtUmtwRFQzZHFhRFJDZVdaME9VeFROMHBKZEdSUFdVTlljM0ZHZFRKSGJXdzBXWEZZTkhSR0wybGlXbVppVmtJdksxZEZUa2hSV0RSRmJIWTVZWFJUYVdsMk1HWkNOMnQxWW1vMGJFRlZPSGRNVVVJMllVTk5hVVI1UlVWVk1FUkpNbTFpT0M5bFRHdFdUbTh6TjBaTFpuWnljakF5UzFoc1FrTXJaVGczY2psdmMyUkliMnhUYzBobFNIVlhhMVpoWlcxU1JHeHZXR0l4TVZSdlJYaElWVmxRYVdOSk1GTlJNaXRKTVdsb0szRTNLMHMwVXpoc01YYzJTRmMxTldSeFRpdFJTMmRGTjJwR0wyaHhXa3BaV1hobFQycHpTR2R5U0VSQ1JuUTFNV3BSYzFOalEzWXJNMmhrYzBkSVNVNURORmxyYURkTU9EUkhTa1ZvYjFvMmQzZ3dhWE52VUUwNWNXdzJTVzByWVV4dmNFSmFVa2h5U0c5emRVUlJaRlpuYWtOVE1rMTVWR1ZDTDNwdVpUZE1NREJQV1ZWb2Nrc3dSbTVSZUZKTmFYTlFaalZUYUVsdllXazJlSG94T0dkbFExVkJaemRMWjBkM1VWZG9WaXN2ZVZrd1VUQlZSSFJ2VUdzMWIxbEpOSGMzY210RGRtOUpaMDk1WWxGWmJXTlRNVk5rYW5KcU4yNWtVWE5yVUVVeWMyOVRRbTVGZEV0bVJVdERWR1pxUjI1aGVHcGpkR3d2VDI5aFRESklLMG9yZDNFeU16VldLMk5TZW1wMlkyVnpORkJaVWxwclJrRTBURWhoU21zNFpHNTVNVXhSWjFWU1JWcHVjMmxaWkZKaldHMWtOSFpTYzNFNVJtdEthMWhPZVhONldFdDNkREpDVnpCRmVtYzlQUT09OmpPTlJjbDZtZlBUN2NjaGFMcXppMVE9PQ==
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
-
imagem não disponívelCombinatorial Methods With Computer ApplicationseBook10%Combinatorial Methods With Computer ApplicationsCRC PRESS180,19€ 10% CARTÃO
-
10%Handbook Of Combinatorial Algebraic GeometryTAYLOR & FRANCIS LTD279,84€
310,93€portes grátis
-
10%Combinatory LogicTAYLOR & FRANCIS LTD76,64€
85,16€portes grátis -
10%Proof TheoryTAYLOR & FRANCIS INC168,97€ 10% CARTÃOportes grátis