adicionar à lista de desejos
Advances In Proof Theory
idioma: inglês
Editor:
BIRKHAUSER VERLAG AG, maio de 2018 ‧
ver detalhes do produto
89,21€
10% DESCONTO
CARTÃO
Y1c1QmQwUXlkVGhNTjNCdWEwNHdZekZVVVdwb1JqbFNNMFU1VFRCbUwwWk9jM1l5Ukc1dE0xUnRUbmRrY25CVmVtRTNkWGd4VGtOM1VqZERiRFV4YlRocFppODBNRlJaVEVwdVNtNVJVRXRSV2tGSFEycGlVSE5aYzBWSFNHZEJkMDg0UWk5c05qUlFTek16ZGpaUWNYWkNiRlF6UzFKUFRGaHpSMlpLZG5GMEsxcDVOVTB2WVZCd1ZYWnRaV05qVUhWaVpsSnJjamQ0VkVKUVkyNVlaSFl2TmxsVlptWTFTVEpaTTAwd1lreFViRWcwYjIxWGNHbEpieXQ1YURoa1dXWmplR0U0YVRCclRrNTVjV2xaUWtaNk5IVjBUemhUYkVwNk1HaG9lR0YwUjAxQlMyaElObkZHUm5CblRrRnhSME5ZUzNWSFRGQkxVWFF5ZFhBeGNFTkZSRTV3ZGxkQ01uVm5PRnBIU0dGQmNrNWlSRmN3TURNd1pVMXBNbUp3WXpGck4zQmxVVFJRVmxRd1ZrOW9NRFJRU1VGdFJUSjJTV0ZPV2k5cllVeFNlblZGUTFGNE5WVm9WWEZEUlRWYWR6aFJVVVJ3Vkd4RVUwc3hSV2t5Y1RGUFIyeFRMMGxWZW10NVRWVlpOVTVTVW05R01rMTFOMHh1TmpOUWJWbzFlbWxHYUZSc1FsVkxhMjlVVlRORWJHaG1abEkxZEcxelpsVjVUMjFLZFRJMmNWaEZhRlJyYWxBd1NrSm1ibTVIZFUxTFUwRmlNMUJuT0RkYVJWRXhjRXBNYW1aQmIyWTVkRGRXU2tnMFFsaENPVzF0TUV4UWJFZDRlRGwzYmpObVRrbFhRbEZrVlc5T1RUTXpWVE42UVRoWU1qQkhXalZ5Y0c5VGRHaHlZUzlJYUM5dlpYSkxWMEl5WW5wS2JWbEZaMjFWVFdZNWQzbDJkemw1U0ZwQ1pWUjFWek5hUTJSaGFHMTRaMEZYVFhaelJGRXlhazlJUkhKNldWTmxLMWwxVnk4dlRXMUdSWGcyVEROUVpXUmxSalZUTjI1dGJVRkNWRVpMYkhWS09XOWtSVGszY1dwTVpUTlpTa1Z2YURrNVZFMHdabXhQVVRoS2ExTnhWbXd2YTJZNWVXTlJZWHA1VDFSa2FtZDFlbU41YVc1SFpreFVaRWt2Ym1SV1RHcDRWRGxIYUhOcmRFMXRlbEIyYW5rek1GVTFkbnBDTmpaTlZqa3lNVWxOYVVwTFExTnZOV1ZvVTJKRk5UVlhiRGxSVVdodU5HZGFkM2RTUTNoU05EZHFOVlZYVERGS2JXZDRhekZuUVZoNVNIQnpVbGtyVTBvd1MyMUpVSEY0Um1KQlFWQnZTalZRS3pWeWVEZElOR3B5YUV4WFJUQjZlV2M1TTI4MGVrSnlWSHBOZFVVNVMxRm5TamhMSzJGUVYzaFFXa1pzZW5RNFZXcENlVWsxTUVVeE13PT06VXpuczF4ZVU3S0JKTWJtS3BxZGlKUT09
portes grátis
Venda o seu livro
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: | 9783319805139 |
| Editor: | BIRKHAUSER VERLAG AG |
| Data de Lançamento: | maio de 2018 |
| Idioma: | Inglês |
| Dimensões: | 156 x 234 x 23 mm |
| Encadernação: | Capa mole |
| Páginas: | 425 |
| Tipo de produto: | Livro |
| Coleção: | Progress In Computer Science And Applied Logic |
| Classificação Temática: |
Livros em Inglês
>
Ciências Sociais e Humanas
>
Filosofia
|
| EAN: | 9783319805139 |
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