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 - 9783030571474 - 18 de diciembre de 2021
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
$ 54,49
sin IVA

Pedido desde almacén remoto

Entrega prevista 24 de jun. - 7 de jul.
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, 1 Illustrations, color; 14 Illustrations, black and white; XVI, 345 p. 15 illus., 1 illus

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 18 de diciembre de 2021
ISBN13 9783030571474
Editores Springer Nature Switzerland AG
Páginas 345
Dimensiones 150 × 220 × 10 mm   ·   508 g
Lengua Alemán  

Mas por Andrzej Indrzejczak

Mostrar todo

Mere med samme udgiver