adicionar à lista de desejos
Semantics And Proof Theory Of The Logic Of Bunched Implications eBook
language: english
Publisher:
SPRINGER NETHERLANDS, April of 2013 ‧
see product details
171,59€
10% OFF
CARD
SzJ0aU1GSndhRlpPUW05RlVHNXJlVk5ZV1dGRmIybHZOa3d5TUV0cFprWkVkbEJ1ZG5GUkswMWlOMFV3ZVVWMk1XaG1VV1V6VjBaVU1HaGFWMkpQVW1KT1ZTdElWVUpzYXpKUlRqaGlXRkZ3WmxKbmFuUXllRGRVUlZVeE1ESlFkbVpyVWxkV1RGVkphbFpuVlRKdk4zZHBWa1pZTm5abk9FNXViRWw1TTNNdlFWcFVVR00yY2pGMGQzVXhhVTF2WTJrck5IbFJZbFJsU2xadFdWSjVTblZRVkhkeEsySTFlV3RuWmpWSU1tVnhTRFV6VG14VGREZEZNa1ZMUkdGVmRrOUhNa3hZT1ZsS2FubzFPRGxxWWtFMmJrRkRTVkUzVjFwQmFWSnZjbmRsZDJSSVNFdEZiRXhHTm05M0wzTlBReTg0YXpkeGMwNDVlbmhtWTBSV1YwcEdNRk5MWW0xRmFIbE1jMk5LVjFVM1ZFSnlWbUZNVDJsNVprbENWa3BHWkUxM1RIRjROMjEzUWtaNGFuWmxORWx3UlRWbVdpOHljMVY2YlVGa2NtdFZjV1ptVnpCNVUwdENSa2d4U1U1dVJqQjZNVE41YzI1TmMyRlBlalUwYlZWdVpWQlZiVkpzYTNoclJHRkpaWGhQVEhKUGRYcHpXR1pOT1U1b1UxRlVWRTVuUjFSVGVFNXRMeTlNUVc5cWIyRlliMVU0U21GNlpGQXZSbE55ZVdKaFdrWkhSR1ZJTmpoelFWVkxjRmxOWjFWWlZUUjVlblJGYXk5TVpraExhQ3RxU1haelZpOUxlSHAxYUZGVVQwNXZXbWd6ZDNoWk1XMTJVRUY0U0ZSWmFVdFNNek5vUjFSR1oxTktVSEZXYzJGTWIyNDNZbUoxVTBOSFVIWjVlR0YzUlhWRlVqTkZlR1JVWkd4TllXcG1SR3RTUjI5WUszRk5iRmNyWjFScmVUbEphR3hYZFV0aGNqVXJhWGxZTDJGVU1HMVBZVXBEUkhaTmNEZE9jVnBRUXl0UVRWSXJNRlZqU0VwRU0yUXZTME5OTm5ORVluTnJUMDlwTmk5NWEwVnllR3RCUm5KM1MwTk5MMFJsZGxOUlYxcEdTMjF5TjB0aVJYcHhXQzlJVWtzeWIxZGFXRzlJZVhWMVVFSnhVMFZFVjAwMldGbFFaRXhQV25GV1RFNHZZM2hoTldJMVRHeFJNMUEyUzI4MVZubFFMMUl3UnpScVpuaGFZWGhDVmxSRlVXaFBkbFZWTDBKM1NVTTVUemh4Y0hOc01YVXpSV1JzUm5sek5tSlBWR1JyWjNnNE5qSkhLM2hCUFE9PTpab3BpVkVDRUVLcU1SUjNvS2RjRDdnPT0=
IMMEDIATE AVAILABILITY
Ebook for ADE
SYNOPSIS
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.
DETAILS
| Property | Description |
|---|---|
| ISBN: | 9789401700917 |
| Publisher: | SPRINGER NETHERLANDS |
| Release Date: | April of 2013 |
| Language: | English |
| Format: | eBook |
| File Format and Compatibility: | PDF para ADE |
| Collection: | Applied Logic Series |
| Categories: |
eBooks in English
>
Science
>
Mathematics
eBooks in English > Social Sciences and Humanities > Philosophy |
| EAN: | 9789401700917 |
BOOKS FROM THE SAME COLLECTION
-
eBook10%Modern Perspective On Type TheorySPRINGER NETHERLANDS145,09€ 10% CARD
-
eBook10%Hybrid Logic And Its Proof-TheorySPRINGER NETHERLANDS118,59€ 10% CARD