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
V21neFJXeG9jWFV6TkZjdlpWWXpWMGRhU1dSWGRHSm9iV1JOTW5OS1NuaGFLMk5JT1RGeU4ydHNNR3cxV25abFNTOVpOR1ZRTUV4Q2N6RnpTRGhCV0hWa2NVNUZjV1oyZERKTGJXUmFXVEJCU0hsVk9VazJRM1lyVldVM2FXaHhZMnhFTVhSaWEzZEpPRkZQUjFKS1dFNVFMMHBLY1dweE0ycDRiMmhNVEZadE5XMXpTMjAxVG5CVmNrMDVXbWRqVDA1UlJuRldZMFZWYVVSTlZsaE5TSEpoYXpGblNVWnljSFpyVmxCbWJtY3llazl5ZVhoVldXSnBVMVZ2TWswdlZGcGlURW81VDA0clkybHlhWFJ2Y25vdloxUm9UQzk1WW1RNGF6TTVRVFZWYzNsdmFVdDFSbXhvY0ZKdWFsZHdWVXBEWW5VMFRFMTJObkpTYWs1d1VFZG1TVEZGZW5FemRIQm9WMGRoY1VwT01WQjNVbUZHZDNZcmVVMWhMMncxSzB4NlVUa3hTbmhGVHpOVFprMU1WMVJYZW01MlYzQkxjVFIxSzI5WFNDOVFaWFpYVVVFcmEySlVNRVlyYW5WRGRuRnpOVWxQZVV4VlZ6ZEhjVmc0VnpGNWNFSTRlRm95VEdKclMwOXZRazFMVWxwRE4yWkhlbk5KVTJOSFFrWm1kVVF5UWxodFkxTnVaa05UVUhCbmMzbDBZakJXVG1wcFRqSlRjVlJIYlZKcVUyOTRSVm92Y2xZNFZIQlNWRkUzVTNOMWVpOTFNVlpoTVhveFVHbFhZbmhMTXpNeFJGQkRjU3RUYXpGQ09IaHNTVFIzU0RGamNUaFRlbXRQTlhOemJFZGlVMnhYZFdrMFdEVkVibTFsY21vMGVtZFRMMlowWkM5WFNFNDFVM0l4ZW1OdFpUUnNlRFkzT1RGRVpYZENSMEl2YkhkRlZIbHpSM1J6YVU5SWJsWlFOMlY0Vm1VNVRqaHBkbVZ6UVZabVdsa3JSbkkzV1hWeWRWVkRNWEJaWkZCVldscExjRmRSV0U1TmN6ZEtNRmhyVTI1TFVrOU9NVmQxZW1acmEzQjZRVGt4TlhST1VGUTBjM2RyWnpZcmVGWmlVbVpwYkdKTVVtdEVjVTVDU0ZoNEx6SXpjME4xV1VjeVMwdDFaWEJVTkdOWVRVRkNWV1JHY1VsRWJ6aGhNbnBNYVZFdmVqWlhNMnhXTTAxMGVIUjBMemt2VVd4MlNYWm5jVTVNT0cxQ1dEUm1kelZwYWxaTGVWVmpVSE56Tkc5WFVWTmFSVTF3Wm1rcmRuQTBibGh5TTJsbFNHSnBSa00wUFE9PTp2Zld4T3RYU0hoN3M1MlVGaXBUSlJ3PT0=
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 |
| 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
-
eBook10%Modern Perspective On Type TheorySPRINGER NETHERLANDS145,09€ 10% CARTÃO
-
eBook10%Hybrid Logic And Its Proof-TheorySPRINGER NETHERLANDS118,59€ 10% CARTÃO
-
10%A New Perspective On Nonmonotonic LogicsSpringer International Publishing AG121,66€ 10% CARTÃOportes grátis
-
Meta-Logical Investigations In Argumentation NetworksCOLLEGE PUBLICATIONS25,11€