adicionar à lista de desejos
Goal-Directed Proof Theory eBook
idioma: inglês
Editor:
SPRINGER NETHERLANDS, abril de 2013 ‧
ver detalhes do produto
118,59€
10% DESCONTO
CARTÃO
VGprdmJGaFllSEUzYkRrMFFtNTZNMUJzTkVka1IyVkxUMDVaTkVRNVdXZ3JXRk5pVGtoWVZXb3hlVFY1Y1hkSGJHZFVUM1Z2TkdwbFdFWmFlblJNTm5SSE9YQnNkVnB5YTJkUFUwazVaRUYxWWxsRk9FVmxZM2w0UzBKQlRVUTNiamM1YTFObGRIbFNRWFZvYjBkTk5VMVJiamhsTkVOdldETnBPRzVhZUhoRGEzSXZkMjgyVFd3NVowa3pVMnRTUW1RcllWQlJRVGt6YkZWTk5XUjNZMFp0ZFN0TU9WRTVWbGxFTjJKdlNtMDJVR1pKY1ZsblkzTlFVR0ZYZHpVcmJtWm9hMDFIU1dSM1kxbHJORU5DTUhKTlNqbElSR1F5VkRGdVRVSk1TVlV3ZDJWSVRVeHRTM0UyZEhocFZYUTViR3R0UjBkUlN6VTBNaXMwYUhSMFFsRnJPV1JEY1N0bVRuVXZPSEJLVWpGeFRDdEZZVGd4UTA1VVdtOHhaREZVZEROVFFVaGhiSEZxUkRoQ1dsUnhkSEYyUlRCMGFuVkllR3Q2UVUwek5HcFdWblZyVmtSR1JucFdVM0ZKUlU1UllrSm5SR3BqU2xObGNuZEJhMHhSTnpoNWNHdDFTM1VyYVVwWVdFWndVbVpVZVRoR0szaGFibU5SVlhoSWJWVldSRmxVZVhWeFRrZzNiREZyVG5seFRYUnNkR0ZYVGs1WGF6UTNOSFJ5TmtadlQzZzVaRGc1YVdNMFNHRkdNREYwT1c1MlZsaGFZMVYxWWxSaE5UWlpWbWxaUlhOd1FuTlNNVWxUS3poVldXNU1Sa2RDWVRJMFR6RkJjMkpYVGsxaVNuUlVjblpOUjNwVmNGY3JNbGhNVTFWVGFHWk1Xa3d3WkVoMU1FTmhOakJJZUU1YWFIaG1jWHBYY25vMmJHTk5iMmRIVFVwSkszaE1VeTlqUTJwb05HcFRWREZKU1c5Q01rbzRZazVVV1c1d2NHRnJkVzlOYW5CTVVUZzFUMmhDYVZoVFJtSTFRbTFpVldVNEwyMDFlVXhqSzFCV1IxWnlaRnBCVVc0eVZsUjJRbTlFYmxodVlVRTNWaXRtZFU0ME1VZGxjVEF4WlhoaFZtUnZOemhWWWtFd2JHSnVTU3RpUms1amVsZHllRzlYVUhoVWVFaHFWVU5pVVU5V00wVkdkbXh3YzJockwwbFZhaTltUVRGcVZGSXdjWEZzVlcxdE5VUXJTbmMwUW1kRU5FZzVla1JtYkN0SVVGazBSbmd2VFZKQ1JITjVVVWh6TWtaNGIyVTNWREp4TlVwdlprcERiMGcwUFE9PTprODRkaHIrK0JrVEhVZVdjaVZDTDZRPT0=
DISPONIBILIDADE IMEDIATA
Ebook para ADE
SINOPSE
Features a methodology for automated deduction in non-classical logics. In this book, the methodology is applied to a range of non-classical systems, covering intuitionistic, intermediate, modal and substructural logics. It can also be used as an introduction to these logical systems from a procedural perspective.
DETALHES
| Propriedade | Descrição |
|---|---|
| ISBN: | 9789401717137 |
| Editor: | SPRINGER NETHERLANDS |
| Data de Lançamento: | abril de 2013 |
| Idioma: | Inglês |
| Tipo de produto: | eBook |
| Formato e Compatibilidade: | PDF para ADE |
| Coleção: | Applied Logic Series |
| Classificação Temática: |
eBooks em Inglês
>
Ciências Sociais e Humanas
>
Filosofia
|
| EAN: | 9789401717137 |
LIVROS DA MESMA COLEÇÃO
-
Modern Perspective On Type TheoryeBook10%SPRINGER NETHERLANDS145,09€ 10% CARTÃO
-
Hybrid Logic And Its Proof-TheoryeBook10%SPRINGER NETHERLANDS118,59€ 10% CARTÃO
-
A New Perspective On Nonmonotonic Logics10%Springer International Publishing AG121,66€ 10% CARTÃOportes grátis
-
Meta-Logical Investigations In Argumentation NetworksCOLLEGE PUBLICATIONS25,11€