Reductive Logic and Proof-search: Proof Theory, Semantics, and Control - Oxford Logic Guides - Pym, David J. (, Professor of Logic & Computation, University of Bath and Royal Society Industry Fellow, Hewlett-Packard Laboratories, Bristol) - Livros - Oxford University Press - 9780198526339 - 29 de abril de 2004

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

Conte aos seus amigos sobre este item:

Pym, David J. (, Professor of Logic & Computation, University of Bath and Royal Society Industry Fellow, Hewlett-Packard Laboratories, Bristol)
Reductive Logic and Proof-search: Proof Theory, Semantics, and Control - Oxford Logic Guides Pym, David J. (, Professor of Logic & Computation, University of Bath and Royal Society Industry Fellow, Hewlett-Packard Laboratories, Bristol)

Name: Reductive Logic and Proof-search: Proof Theory, Semantics, and Control - Oxford Logic Guides
Price: 1365.9 BRL
Availability: OutOfStock
Author: Pym, David J. (, Professor of Logic & Computation, University of Bath and Royal Society Industry Fellow, Hewlett-Packard Laboratories, Bristol)

Preço

R$ 1.365,90

excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 30 de set - 12 de out

Receba avisos sobre novos lançamentos de Pym, David J. (, Professor of Logic & Computation, University of Bath and Royal Society Industry Fellow, Hewlett-Packard Laboratories, Bristol)

O que dizem nossos clientes:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

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

Ainda não avaliado

Reductive Logic and Proof-search: Proof Theory, Semantics, and Control - Oxford Logic Guides

Pym, David J. (, Professor of Logic & Computation, University of Bath and Royal Society Industry Fellow, Hewlett-Packard Laboratories, Bristol)

This book is a specialized monograph on the development of the mathematical and computational metatheory of reductive logic and proof-search, including proof-theoretic, semantic/model-theoretic and algorithmic aspects. The scope ranges from the conceptual background to reductive logic, through its mathematical metatheory, to its modern applications in the computational sciences.

228 pages, numerous figures & tables

Mídia	Livros Hardcover Book (Livro com lombada e capa dura)
Lançado	29 de abril de 2004
ISBN13	9780198526339
Editoras	Oxford University Press
Páginas	232
Dimensões	162 × 242 × 18 mm · 480 g
Idioma	Inglês

Mais da mesma editora

Ver tudo de Pym, David J. (, Professor of Logic & Computation, University of Bath and Royal Society Industry Fellow, Hewlett-Packard Laboratories, Bristol)