10% OFF

Sequents And Trees eBook

Name: Sequents And Trees
Price: 59.61
Author: Andrzej Indrzejczak
ISBN: 9783030571450

An Introduction To The Theory And Applications Of Propositional Sequent Calculi

by Andrzej Indrzejczak

language: english

Publisher: Springer International Publishing, December of 2020 ‧ see product details

(0)

59,61€

10% OFF CARD

IMMEDIATE AVAILABILITY

Ebook for ADE

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

Sequents And Trees

An Introduction To The Theory And Applications Of Propositional Sequent Calculi

by Andrzej Indrzejczak
Property	Description
ISBN:	9783030571450
Publisher:	Springer International Publishing
Release Date:	December of 2020
Language:	English
Format:	eBook
Collection:	Studies In Universal Logic
Categories:	eBooks in English > Social Sciences and Humanities > Philosophy
EAN:	9783030571450
Acessibilidade:	Ver características de acessibilidade indicadas pelo editor