adicionar à lista de desejos
imagem não disponível
Proof Theory
Proof Theory eBook
Sequent Calculi And Related Formalisms
Livro
eBook
idioma: inglês
Editor:
CRC PRESS, agosto de 2014 ‧
ver detalhes do produto
83,46€
10% DESCONTO
CARTÃO
YXpCTGMzVm1kVFIzV1hoRWJFNHhielpaY0dkaU4yNVVWRXBaVURaR2RWUnhTa2RVY0hsVVVXNXpWWGRhYzJwTU1rb3JNVzEyVlZaVGFrczBSR3RVUlVOVFVFWXdibEZ0WWxjd1ZtUnlla293U1ZKMmNVcE1XVGN6ZFhjM2JtNXRUMkpTUW5wVFpIVm9lV3cwUjBsemMyZGtaMEZ4T1RjMlNrNHdZVzgwVTBObmRISm9hRlpGYldOd1RqbGlkRVJQWVdSdk4wVlpXaXRaYTJONE9XRTVPVmRGUlZwQ00wZEViMlEzZGxWRVkyaDNOVEJHWTJ4RlpGaFJkVTB5SzJKS1oybzJNMDV1YkhCMVJEZ3pSVXQzUjNsd2NraFdkbTUyWTFoQllVTlJWR1ZyZFhaWmJrcGllR1pDZDJVeGJrZHhVbE5QZUZWUFRHaHhXa0ZsT1VSU2IwNTBSRlJTV2tjeVFXSTFWM1pSWVdsSlNuUTVkM0pFYms5SUwwWk9hWGgwVlUxRlpYRktTa0k0WlZWeE16bDZXR1JTV2k5eFZIWTNiRVJQYm01b1ZsWmpPVmhMVFVveWVHbHpTbEZuV0doU2RWSmxXR0ZNT0dGcWFIRlRRbkYwVlhWMFIweFdUMlpqTDFwUE1WUnNiRWhGYVc5cE9UQktWR1ZMY0dwT2FtbGlRalZIUWxkU1JqbGhablJhVlV0alkzRkxjR2h4YTBrMVNESnRWM0pyZFZOcmVuTnVNVUU1ZUZCRGVXdDNhWGQ1WVd3NWFISkJaR2s1UjI1cU1GazFPVzQzZGtRemFtcHdkSE00UVRBekwwNXNVbEJpT0ZGd1ZVWnJXa2huVEd0aVNqTkZPWGd5Vm1kaFYzSmtWelZsYTFRNFYzY3hNRTB5YkZweGMyTTFRMU4wYTBWQlVtODFNbkp2ZUdSaU5FNWpka2hIYTNwRWF6TkVieTlTT0RoWlQxSkVTazB6V25ocllsWm5LeTl5VjJ0alEwcDFjbXhETDBZMWFHMU1abEoyVEVKVUsybzVRbVY0YlZkaWVtZG5WMjVOYlhreFkycFlXa2g1VEZka2J6a3daR1JTV1RWaFowZFdjVGMxZVVoek56VjVPSHB4UVdWMWQwSnlXVmxGWWtSMU9FeHlWams0VTNVMlkwaG5UVTQ1UlZaTE1HNHlOa3h5V0RWcU9VZFpOaTlaU1dneVdqWldhMnhtYjJoRkwxVktlbkZYTWpoeFZXaEphbW92U25SQ09FOXBUVkZPTmxoYVIyTmlRM05RY1hKeE1WSnRRVTV2U0c1VFFtNXNTVlZLYXpnNFpuQTVaWFpyUFE9PTphZ2ZCTDVvYkRjVkJOalREN0plMW53PT0=
DISPONIBILIDADE IMEDIATA
Ebook para ADE
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, Proof Theory: Sequent Calculi and Related Formalisms presents a comprehensive treatment of sequent calculi, including a wide range of variations. It focuses on sequent calculi
DETALHES
| Propriedade | Descrição |
|---|---|
| ISBN: | 9781040058978 |
| Editor: | CRC PRESS |
| Data de Lançamento: | agosto de 2014 |
| Idioma: | Inglês |
| Tipo de produto: | eBook |
| Coleção: | Discrete Mathematics And Its Applications |
| Classificação Temática: |
eBooks em Inglês
>
Ciências Exatas e Naturais
>
Matemática
eBooks em Inglês > Ciências Sociais e Humanas > Filosofia |
| EAN: | 9781040058978 |
| Acessibilidade: | Ver características de acessibilidade indicadas pelo editor |
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 LTD76,64€
85,16€portes grátis