The Semantics and Proof Theory of the Logic of Bunched Implications - Applied Logic Series - David J. Pym - Libros - Kluwer Academic Publishers - 9781402007453 - 31 de julio de 2002
En caso de que portada y título no coincidan, el título será el correcto

David J. Pym
The Semantics and Proof Theory of the Logic of Bunched Implications - Applied Logic Series 2002 edition

Precio
Mex$ 2.728
sin IVA

Pedido desde almacén remoto

Entrega prevista 4 - 14 de ago.
Recibe notificaciones sobre nuevos lanzamientos de David J. Pym

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

Aún no valorado

También disponible como:

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.

290 pages, biography

Medios de comunicación Libros     Hardcover Book   (Libro con lomo y cubierta duros)
Publicado 31 de julio de 2002
ISBN13 9781402007453
Editores Kluwer Academic Publishers
Páginas 290
Dimensiones 155 × 235 × 20 mm   ·   666 g
Lengua Inglés  

Más del mismo editor

Ver todo de David J. Pym ( Ej. Hardcover Book y Paperback Book )