adicionar à lista de desejos
Methods Of Cut-Elimination eBook
idioma: inglês
Editor:
SPRINGER NETHERLANDS, Janeiro de 2011 ‧
ver detalhes do produto
94,87€
20% DESCONTO
IMEDIATO
Ym5BclZVbzJVMUZRYjJVclZEY3hXR1ZJUTNwVGVVa3hhaTh3TWxoUU1VczFUMVJsTDNOTmRYSlNRVWhtVFZKSFFVbENlVzB2V0VGVFYxY3pORUZ5VW1OTlJWVk9hRzFCTjA1YWFGY3JVVlZWUW5WeVl6aDZiVUYxU25wcE5WRkZjbXhMZEZoTVNYQXpSMElyYkZkNVduTXhTblVyTVRoc2RFbzNlRlpKVldOa09EaEJlVFZDWjI1V01WRkVOR1F5TUhOSllrbHNUVkJFZFc1eVVFUldSa2R4TnpGUWNVNVdhRlJHWm1RNFdXRkZlRnB2YTJObFJYTlBXalprUlZGUVRWaEdjSFJOVjB4UmFXTk1VM0oxYW1WRlMyNVRZa3d2VkZFclR6RnBjRmhOYUVWU1dqWkZOaXRVUTNCNVRrNUVRV2xvSzBaamVIUlpkRVZSYjJORlpEQjFUMWN4TjFOa1NsYzBhSFpxVTIwNU9UQkhlVVphVVZRNGNWVm1WbXBETW1oNVZXaFFlVlJrT0c1UldWaHdja00yWTI5bVJuSldSM1JGU0VKMVVVWTJLeTgwUXpOVGRVMUNPVFYwZG5kRWJrcFZNemc1ZWpkbWMxazNOVEpOTTFKNFkzSllWVU5rUXk5dGRsSkJZbkpyVkhkVFIweDNkRk5ZU2tWNk9IZGhlSFptYkRKTVVVNWFWeXN6UjBWMVNIUXJVMWh4WkZWblF6UXdZME00YjJkb2EzRkpjV2hHZGxkd2JrRTVjVkJVTmt0QlYyazJhMHRTWXpSSFQyOVlNM1F4WmtKU1FWcGlWeXRSZEhscWRXOUxhU3RyUkZCTGRWUlNiRGhwVnpSaVFtRlFNV3gwUWxOTVZYWk5jbmxVZW1kQlQwTkhWa1JYYTJWcFZIbHJTRlEzVDNKV1kwOXJaV2hqVkRrdlIxcENRbVZSYzNkc1ltZ3dPRTQxWm5CV01WbHZWVXAzVm1VemNpdEVhMlY0TDJKM2FtUnlaWGxCSzI1WVdsQkVLMWhPVjNOMWFqbEtiazh5UVRkTWVsUTVUalZGTkhGckwzZDFaMmRpV2xoNVJGWjVSbmR1U0hKb1pGaDFOWEp1YUVwcVZtZFZhM1JuYUU1VGVGaHNSak5IWmpSbWRWVnVMekJPYzNaemEyeFliMjlxVTJoa2VWZGpUQzlYWTJ4aFMwMDJjelJIYzJKd1FXOVRjbHBSU2xCcFJpOW1lV2RYS3l0RmVIcDNLM1ZoT0ZOR1dEYzBWR0l3VGs4M1ZuZzBSMWxMU1hwVFNEWmhXRE5DUTNRd2JrWkZiRzVCWW14TE1YQlphbFIzUFE9PTpjZmRZdEtySHpHYWVjUldBY05aMDZnPT0=
DISPONIBILIDADE IMEDIATA
Ebook para ADE
DOMINGO DIGITAL – VER MAIS ARTIGOS EM PROMOÇÃO
SINOPSE
This book offers a thorough, rigorous analysis of reductive cut-elimination methods and an in-depth presentation of the recent method CERES developed by the authors. It includes several applications of CERES and an extension of CERES to non-classical logics.
DETALHES
| Propriedade | Descrição |
|---|---|
| ISBN: | 9789400703209 |
| Editor: | SPRINGER NETHERLANDS |
| Data de Lançamento: | Janeiro de 2011 |
| Idioma: | Inglês |
| Tipo de produto: | eBook |
| Formato e Compatibilidade: | PDF para ADE |
| Coleção: | Trends In Logic |
| Classificação Temática: |
eBooks em Inglês
>
Ciências Exatas e Naturais
>
Matemática
|
| EAN: | 9789400703209 |
LIVROS DA MESMA COLEÇÃO
-
Pré-lançamento10%The Legacy Of A.V. Kuznetsov In Logic, Algebra And The Foundations Of MathematicsSpringer Nature Switzerland AG145,99€
162,21€portes grátis -
10%Algebraic Probabilistic ConsistencySpringer International Publishing AG121,66€
135,18€portes grátis