Sequents and Trees: An Introduction to the Theory and Applications of Propositional Sequent Calculi - Studies in Universal Logic - Andrzej Indrzejczak - Libros - Springer Nature Switzerland AG - 9783030571443 - 17 de diciembre de 2020
En caso de que portada y título no coincidan, el título será el correcto

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

Precio
$ 42,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 17 - 29 de jun.
Añadir a tu lista de deseos de iMusic

También disponible como:

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


345 pages, XVI, 345 p.

Medios de comunicación Libros     Hardcover Book   (Libro con lomo y cubierta duros)
Publicado 17 de diciembre de 2020
ISBN13 9783030571443
Editores Springer Nature Switzerland AG
Páginas 345
Dimensiones 242 × 161 × 29 mm   ·   682 g
Lengua Alemán  

Mas por Andrzej Indrzejczak

Mostrar todo

Mere med samme udgiver