Proof, Computation and Agency: Logic at the Crossroads - Synthese Library - Johan Van Benthem - Livros - Springer - 9789400735811 - 29 de maio de 2013

Caso a capa e o título não sejam correspondentes, considere o título como correto

Conte aos seus amigos sobre este item:

Proof, Computation and Agency: Logic at the Crossroads - Synthese Library 2011 edition

Johan Van Benthem

Preço

Mex$ 3.540,40

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 18 - 30 de jul

O que dizem nossos clientes:

Política de devolução de 14 dias, em conformidade com a lei europeia de proteção do consumidor

Melhor classificação na Trustpilot

Adicione à sua lista de desejos do iMusic

Também disponível como:

Hardcover Book (2011) Mex$ 3.540,40

Proof, Computation and Agency: Logic at the Crossroads - Synthese Library 2011 edition

Proof, Computation and Agency: Logic at the Crossroads provides an overview of modern logic and its relationship with other disciplines. As a highlight, several articles pursue an inspiring paradigm called 'social software', which studies patterns of social interaction using techniques from logic and computer science.

372 pages, biography

Mídia	Livros Paperback Book (Livro de capa flexível e brochura)
Lançado	29 de maio de 2013
ISBN13	9789400735811
Editoras	Springer
Páginas	372
Dimensões	155 × 235 × 20 mm · 553 g
Editor	Gupta, Amitabha
Editor	Parikh, Rohit
Editor	Van Benthem, Johan