Extensions of First-Order Logic - Cambridge Tracts in Theoretical Computer Science - Manzano, Maria (Universitat de Barcelona) - Livros - Cambridge University Press - 9780521019026 - 22 de agosto de 2005
Caso a capa e o título não sejam correspondentes, considere o título como correto

Extensions of First-Order Logic - Cambridge Tracts in Theoretical Computer Science

Manzano, Maria (Universitat de Barcelona)

Preço
DKK 665,68

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 12 - 21 de ago

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

Extensions of First-Order Logic - Cambridge Tracts in Theoretical Computer Science

Classical logic has proved inadequate in various areas of computer science, artificial intelligence, mathematics, philosopy and linguistics. This is an introduction to extensions of first-order logic, based on the principle that many-sorted logic (MSL) provides a unifying framework in which to work.

412 pages, black & white illustrations

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 22 de agosto de 2005
ISBN13 9780521019026
Editoras Cambridge University Press
Páginas 412
Dimensões 170 × 244 × 21 mm   ·   645 g
Idioma English  
Editor de séries Abramsky, S.
Editor de séries Aczel, P. H.
Editor de séries Bakker, J. W. De
Editor de séries Gurevich, Y.
Editor de séries Tucker, J. V.
Editor de séries Van Rijsbergen, C. J.

Ver tudo de Manzano, Maria (Universitat de Barcelona) ( por exemplo Paperback Book )