Sequents And Trees: An Introduction To The Theory And Applications Of Propositional Sequent Calculi
Sale

Sequents And Trees: An Introduction To The Theory And Applications Of Propositional Sequent Calculi

Springer Nature Switzerland AG
SKU:
9783030571443
|
UPC:
9783030571443
£54.99 £50.06
(No reviews yet)
Condition:
New
Current Stock:
Adding to cart… The item has been added
Description
This textbook offers a detailed introduction to the methodology and applications of sequent calculi in propositional logic.


  • | By (Author): Andrzej Indrzejczak
  • | Publisher: Springer Nature Switzerland AG
  • | Publication Date: Dec 17, 2020
  • | Country of Publication: Switzerland
  • | Number of Pages: 345 pages
  • | Language: Unknown
  • | Binding: Hardback
  • | ISBN-10: 3030571440
  • | ISBN-13: 9783030571443
Additional Information
By (Author):
Andrzej Indrzejczak
Publisher:
Springer Nature Switzerland AG
Publication Date:
Dec 17, 2020
Country of Publication:
Switzerland
Language:
Unknown
Number of pages:
345 pages
Binding:
Hardback
ISBN-10:
3030571440
ISBN-13:
9783030571443