Goal-Directed Proof Theory - Applied Logic Series - Dov M. Gabbay - Livros - Springer - 9789048155262 - 4 de dezembro de 2010
Caso a capa e o título não sejam correspondentes, considere o título como correto

Goal-Directed Proof Theory - Applied Logic Series Softcover reprint of the original 1st ed. 2000 edition

Dov M. Gabbay

Preço
zł 419,90

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 27 de jun - 7 de jul
Adicione à sua lista de desejos do iMusic

Também disponível como:

Goal-Directed Proof Theory - Applied Logic Series Softcover reprint of the original 1st ed. 2000 edition

Goal Directed Proof Theory presents a uniform and coherent methodology for automated deduction in non-classical logics, the relevance of which to computer science is now widely acknowledged.


268 pages, biography

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 4 de dezembro de 2010
ISBN13 9789048155262
Editoras Springer
Páginas 268
Dimensões 155 × 235 × 14 mm   ·   394 g
Idioma English  

Mostrar tudo

Mais por Dov M. Gabbay