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 Methods for Modal and Intuitionistic Logics - Synthese Library 1983 edition

M. Fitting

Preço

₺ 8.793

excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 21 - 27 de out

O que dizem nossos clientes:

Adicione à sua lista de desejos do iMusic

The ones we consider are: 1) tableau systems, 2) Gentzen sequent calculi, 3) natural deduction systems, and 4) axiom systems.

555 pages, biography

Mídia	Livros Hardcover Book (Livro com lombada e capa dura)
Lançado	30 de abril de 1983
ISBN13	9789027715739
Editoras	Springer
Páginas	555
Dimensões	210 × 297 × 31 mm · 966 g
Idioma	English

Mostrar tudo