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
$ 158,49
sin IVA

Pedido desde almacén remoto

Entrega prevista 23 de jun. - 6 de jul.

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

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  

Mere med samme udgiver

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