Sequents and Trees: An Introduction to the Theory and Applications of Propositional Sequent Calculi - Studies in Universal Logic - Andrzej Indrzejczak - Livros - Springer Nature Switzerland AG - 9783030571474 - 18 de dezembro de 2021
Caso a capa e o título não sejam correspondentes, considere o título como correto

Sequents and Trees: An Introduction to the Theory and Applications of Propositional Sequent Calculi - Studies in Universal Logic 2021 edition

Preço
R$ 290,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 2 - 8 de out
Receba avisos sobre novos lançamentos de Andrzej Indrzejczak
Adicione à sua lista de desejos do iMusic

Ainda não avaliado

Também disponível como:

This textbook offers a detailed introduction to the methodology and applications of sequent calculi in propositional logic.


345 pages, 1 Illustrations, color; 14 Illustrations, black and white; XVI, 345 p. 15 illus., 1 illus

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 18 de dezembro de 2021
ISBN13 9783030571474
Editoras Springer Nature Switzerland AG
Páginas 345
Dimensões 150 × 220 × 10 mm   ·   508 g
Idioma Alemão  

Mais por Andrzej Indrzejczak

Mostrar tudo

Mais da mesma editora