Sequents and Trees: An Introduction to the Theory and Applications of Propositional Sequent Calculi (Studies in Universal Logic)
Birkhäuser
ISBN13:
9783030571443
$87.33
(No reviews yet)
Write a Review
Birkhäuser
Sequents and Trees: An Introduction to the Theory and Applications of Propositional Sequent Calculi (Studies in Universal Logic)
- | Author: Andrzej Indrzejczak
- | Publisher: Birkhäuser
- | Publication Date: December 17, 2020
- | Number of Pages: 361 pages
- | Language: English
- | Binding: Hardcover
- | ISBN-10: 3030571440
- | ISBN-13: 9783030571443
- Author:
- Andrzej Indrzejczak
- Publisher:
- Birkhäuser
- Publication Date:
- December 17, 2020
- Number of pages:
- 361 pages
- Language:
- English
- Binding:
- Hardcover
- ISBN-10:
- 3030571440
- ISBN-13:
- 9783030571443
-
-
Sale
Abstract General Algebraic Logic: Applications To Sequent Calculi
$200.00 $188.50Independently published
-
Sale
Abstract sequent axiomatizations of finitary universal Horn theories: Abstract Proof Theory versus General Algebraic Logic
$150.00 $141.95Independently published
-
