adicionar à lista de desejos
Semantics And Proof Theory Of The Logic Of Bunched Implications eBook
idioma: inglês
Editor:
SPRINGER NETHERLANDS, abril de 2013 ‧
ver detalhes do produto
171,59€
10% DESCONTO
CARTÃO
ZUZoVVF6Wm5hV2t3WkZBeGRUUjRaamxxVGtablMxbGhSbWRrVldoNVlrUTRTSFZXY0U1dmJrdG1kamw0YUhOTlFubFdaek12YkM4MmRVcEhOM1pxVXl0bmFXNXRhMFZxVW1GV1NEVndPWFZEY0ZKSGFVdHpOa0pMZEd0RGFuUndWazFNZUhKaGRIWk5iRTVKV0docVQxVnlabXRvVlc1U09Xc3paMnRETUdoTmFXNTVRVzU2TUdwNE0zZENRa2xsVTBZNGIwaE1jbEJ0VmxjdmVqVXpUVkozYkZVeFlWWlVaMjlLSzNKSFdXNTRhRUpNVG5OaVVWTm1jekJwYTFWVVN6aG1VMnBzUkZaTGNVNUZjVkZFVlc1Nlp6aDJXRVZYU25reVZIUnljWGRRTldwWldEWnNOVVpxZEZGMmVIb3diM1JWUkVFMWVXeHdSMGN5Y0RSSk9XOUxjeXRUVnpoRmNub3pNVU5oTlZjNU1GVldjWEZMT0dKaGVHdFNlRWhKY1d4UGNGWkdaRXhOU0hWckwzcFNTM0YxY3pacFlrSm9Oa0paVG5NMk1uZHpZVmhSUkVGeU5GUXZkVTVEV1Rsa2JVeFdjSEIyVkRkRWFrZFlhRGMyTDJsWVozcDNNRlJFTUdFMlVHazVVWGhuVDNCTFQzcHFRVk5wZVdNeVZuVmxPQzlSVTBNNVJtWnVlSFZzWVdwNlVFcEVMMXBVVlZGc1kzVkhRMkZLTUZKdEx6VjJRVXhtU2s5dVpuaDNRbTlaWVZKUk1qTTBaVkZ6UWt0dmNIcFFja3BXY1hweWJtTnRVbFZHY0VKVFowTlZhVmRKWXl0elJtSktPRlV2VFRaNlRYb3JhSEU1TTBreVowSjRPWEJSUTJOMWQyVnhUak5VWldoT1QyYzVZbmN6Y1dncmQwa3djMWhTUldaS1RHZ3pSMFlyVDNNd01WTXZWREJJZUVGdlNVd3ZjV3RFUkVoc1FtZ3JkWGRHV0Vob1IySnNhamxVVEM5Uk9IUmtZMUZLWkVGdWMzZE1aamh6YlZGek1VWjJibnB2TmpKU2F5dEdRVFZQYldwdUsxUjJaeTkzVEhGSVFqZFJaM1ZIY1ZwVVdtSmpNMlJVYTNwa0wySk1kemRMUVRSbWNGVnhVbU0zYjNsUVFYZHhOM05OU2pJeE5ETk1ZbVJ6ZW5ndk9VSjZNRmRuVlhGbGMyNTVRMlJyTnpGWlNrdGljM2RKWWxrekwzTjJZbmxGZDNsRFoyMDNjSGRoZEVkTFNXMXFiVk54WTBvMmJFTkpObll4YlV3MldVSkhRbXRUVTFsM2JYWXJkemR2UFE9PTp0UTdGTUpuRmtuMHQwY0srMUlwRDdRPT0=
DISPONIBILIDADE IMEDIATA
Ebook para ADE
SINOPSE
Provides an account of the model theory, proof theory and computational interpretations of BI, the logic of bunched implications, which freely combines intuitionistic logic and multiplicative intuitionistic linear logic. This monograph is aimed at graduates and researchers in mathematical logic, philosophical logic, computational logic and others.
DETALHES
| Propriedade | Descrição |
|---|---|
| ISBN: | 9789401700917 |
| 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 Exatas e Naturais
>
Matemática
eBooks em Inglês > Ciências Sociais e Humanas > Filosofia |
| EAN: | 9789401700917 |
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