adicionar à lista de desejos
Proof Theory eBook
Sequent Calculi And Related Formalisms
idioma: inglês
Editor:
CRC PRESS, agosto de 2014 ‧
ver detalhes do produto
79,49€
10% DESCONTO
CARTÃO
TUc1QmREWm1XRXcwUzB0dk1WQXZRVUpHUmxCcVVFdEVLME5xU0dsck5tUXphR2xaWlVKM1pqTXpWeTk0ZFZvclVtdEtNWEpKVW0wMWRGbHJNblF4YUU4ek1YYzNNbWhuZUhvMFIzUlNZV3M1ZFhSd2FrSjRWVzF1UzBoR1VuaFBZemxPTUZKTGRFTnVSM0YzVEZod1YxRnNhVFIzWTJWdGVVeHhTR0Z2VkVSWE5HaENSekJRVkc1Q1F6UlRaVmt6Y1VkaUwydzFXbVYxUzBSMWEzazNjMDgwWVRGVFJFRk5hVTFWT1dJMk1WRjVOM001VkZkYVlVaE9NMlZMVGxNM1kxVkxkR2hTUldFd1lUWlNkVkZuZEVZM09USkRWM1IwY0d0NlJGY3hjRFYwTVVGRldXTTFTMkZxUzBaMUwyaEdZa05NZVVsRVMwdzNjazFRZEZkck9XOU9RVGRIVVVkQ2R6Wm1VMGxRWmpGSlpHb3lhbmg1YTBGR1p6ZzNaMEp0T1V4Q1RFbDBZMmRvTldsSUszaFdjemhvYkZsaFJtTnpXVXh6U2k5TE1YY3lVU3RyZEROSGVsZFROSG80UlU0elpqZERURkJ1WjFCcGJVeGlNek4wYms1WFYwRlBXalF6WlU5UWEySm1abTVSVUdSaFpHbHpVUzlrWjJ4blYwUlBWM2RwVlU0dlYzTTJMMDB5ZDNWc1F6YzFhR3RtYW5KRUwxb3hOVGxLZFRRdlpVTlJUbVZzWlU0d1N6QkxkVkZOTVdwQ2VEZHVUMUZvY21Sc1F6aHFkalJJYVRGcFpGcFhaRTFuYkdSMWREWk1RVTF2Ym13NFF6aGlTVkl3TUVGNmVVOHZkVVZYTnpGU1ZEUldXVEZVYkVab2JteHFlWGhOUTBSbVRIVkRaREJKV0hVeE0zcEVLMlY0WVhkWlVUWlhialpNVDBKTFNWbHRNalZPZWtoblZuSlFhRlJaTnpKMlF6Qk9XV1EwUms4ME5YVkJXVlpJV1VKVU9IRjFRVVJIU1V4UVdYRXhkRll3WVRkVkwyZGtXVkY1VFM4NVkyTXJia1Z0ZFZkMlRUbHVRbU5XWVRnemMwMXRNR2w2TDFoR1ZYWXZiSFJaV1hjNFdFcGtTRmxyWmxWeGNFcFVjemwxZVRacU1EZFljRFV3VkUxcmVHWjJVRGt3YmpZdmJVazFWSEZoYjBoa00yNUhiRmsxTXpnMVoxQm5jbU5LT0djM09GUnZMM1phUjBsMVRuRjJlbWx5SzFRMFpqWnlORlZDWm5jNGRXOHpia0pMY0ZGUk1qbDVORXdyT0VrdlVraDJVVEJSUFE9PTphVDQzYytPQXF3bGFoZnJHeDJ4Yk1RPT0=
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: | 9781466564688 |
| Editor: | CRC PRESS |
| Data de Lançamento: | agosto de 2014 |
| Idioma: | Inglês |
| Tipo de produto: | eBook |
| Formato e Compatibilidade: | PDF para ADE |
| Coleção: | Discrete Mathematics And Its Applications |
| Classificação Temática: |
eBooks em Inglês
>
Ciências Exatas e Naturais
>
Matemática
|
| EAN: | 9781466564688 |
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 LTD56,77€
81,10€portes grátis -
Proof Theory30%TAYLOR & FRANCIS INC113,56€
162,23€portes grátis