' ADVANCES IN LINEAR LOGIC - JEAN-YVES GIRARD, YVES LAFONT AND LAURENT REGNIER

Livraria da Física

TeleFONES
Loja virtual
Loja IFUSP : (11) 3815 8688
Editora
ESCRITÓRIO (11) 3459 4323 OU 3459 4324 ou 3459 4326
Seu carrinho
  • Busca avançada

Física

ADVANCES IN LINEAR LOGIC
JEAN-YVES GIRARD, YVES LAFONT AND LAURENT REGNIER
Quantidade limitada no estoque. Envio imediato.
Editora CAMBRIDGE UNIVERSITY PRESS (PRINT ON DEMAND)
Área MATEMÁTICA
Idioma Inglês
Número de páginas 400
Edição 1ª ED 1995
ISBN 0521559618
EAN 9780521559614
This volume gives an overview of linear logic in five parts: category theory; complexity and expressivity; proof theory; proof nets; and the geometry of interaction. The book includes a general introduction to linear logic that will ensure this book's use by the novice as well as the expert. Mathematicians and computer scientists will learn much from this book
Preço da tabela: R$ 312,80
Nosso preço: R$ 281,52
ATENÇÃO: Os pedidos deste catálogo estão sujeitos a alteração sem prévia comunicação. Os pedidos ficam condicionados a disponibilidade do nosso estoque e de nossos fornecedores (editoras e distribuidores). Esclarecemos aos consumidores que, por não sermos vendedores no atacado, pedidos que possuam mais de um item do mesmo produto, poderão sofrer alteração no prazo de entrega se a quantidade de produtos solicitados for maior do que a quantidade disponível em nosso estoque, para não ter dúvidas sobre quantidades, consulte antes por e-mail (vendas@livrariadafisica.com.br)