adicionar à lista de desejos
Advances In Proof Theory eBook
idioma: inglês
Editor:
Springer International Publishing, maio de 2016 ‧
ver detalhes do produto
119,24€
10% DESCONTO
CARTÃO
ZFVaUFVHZDBlRXhYWkN0d2RHaGxhamRpVVZwU01VcHNZelV3VGpoWmFrbHhkazE1Tm5obk55ODNhVWxxYVRCMVVtNXpNRUUwVmxwQ2VHMUNOVkZyVXpOeVZuWkJUR2RyYmtWRFJXbFdSMUp1V21ONEswcENSM1ZVUTNjellVdHFUMjl3VnpoMGJqWkNNbFZEUlhoaGNHUXZZbWhxYjB3d2NsQTVSWGM0UVc5WmIxZEtjWGx2VFhFMFJqVnJOM3BIY2twTlpFaHdaRGxET1RWYVJHdDNhbVkwUzBJMVFtcHZWV2xwZURRMVZIUmhaamRVVjFaM1FXZElja2xuU0hOSmFsQm5RVmR5Tlc0d1FscHhXRVJTTDFoQ2RTdDRXbXh2YWxCQ1NrUjBTMFl6YzNsMEwyRm5TbkIxWmxSQmF5dHhMemRZYm1ZM2RIZ3JkMlp6Y20xd1FqaHFTa2s1YTBoRlIwRndMek52YWtOek9VTjNNaXRxWVZBd2J6ZzVlV1k0VUZGS01GaGllVU5wWkhkTWJHbzFMMFJ2WW05Sk4wUTRaREpRYWk5bk5XTnNPRkpzUnl0eVdrdFdUekZaZVhCWVEweHdhRWR1V2xOaGEyeDVLMHhYZVhoc01sTk1keTkwYWtoaVJDOVZTR1Z5Um1rMGJubzFMMHd3ZDFoemNWSmxjbU5JSzIxSlVVWk1RbWh0U0VKU0wwUkdkelZLWjJkR1ZHeDZLMDl1VTBoUk5UUnhhRVp6WWt0NWVVTlRUSGxxTm1OMWVuZG5hRFl3Y1dZeGEyVllUVWdyUlZSM1EyOWpSbWhhYUVwNVdVeEdVM3BFT1hkb0x6ZEtiVzVGVUhvNVdtVklNblZLTmpWWFJVOVRWMHBZVERCR2MzZzJkMWRPYW1SNVJYQnNjRUZZU1d0WU0wczVUV05qUzA4dmNsbEpaRXhWUjNGRk9HUjNOSG80UTA5VVEwMDNNak5MUlZZNVUwVmhNbnAxVm1oa1NqRnlZM1pXY21OSVlUWldUV3N2THpsbFRYZzRhR3hIUVZkMVRIUlFUemhwUWtOU2R5OXpMMU51VEdaeVdETmtZbHBZYkVWellUUTFSa1ZNVlhOaFVHZDBWM2d2U25RNFlUUkJNMUozVjNKWU1HSlJLMmRTTWtobWRXb3lOVTlXTUU4ek5HOU5jRFpYU1V0T1YwMDBUMjgzU2tzcmMyeFBka3hDZDBseE9ESlNSbWhhY1RVeVZFRlBTM05OVm1aaFFXVm9MM052YlRSVWR6ZG9Rek5YU1hsdldYbHBNMEp2VkVGV09EVXdUM0JzZUV0d1pHeHhRbkZGUFE9PTo1OUhIMzNPQStlMExxUjNuK3hWbG1nPT0=
DISPONIBILIDADE IMEDIATA
Ebook para ADE
SINOPSE
The aim of this volume is to collect original contributions by the best specialists from the area of proof theory, constructivity, and computation and discuss recent trends and results in these areas.
DETALHES
| Propriedade | Descrição |
|---|---|
| ISBN: | 9783319291987 |
| Editor: | Springer International Publishing |
| Data de Lançamento: | maio de 2016 |
| Idioma: | Inglês |
| Tipo de produto: | eBook |
| Formato e Compatibilidade: | PDF para ADE |
| Coleção: | Progress In Computer Science And Applied Logic |
| Classificação Temática: |
eBooks em Inglês
>
Ciências Sociais e Humanas
>
Filosofia
|
| EAN: | 9783319291987 |
LIVROS DA MESMA COLEÇÃO
-
Temporal Type TheoryeBook10%Springer International Publishing145,09€ 10% CARTÃO
-
Communism And Nationalism In Postwar Cyprus, 1945-195510%Springer International Publishing AG60,82€ 10% CARTÃOportes grátis