Overview
- | Author: Andrzej Indrzejczak
- | Publisher: Birkhäuser
- | Publication Date: Dec 31, 2021
- | Number of Pages: 364 pages
- | Language: English
- | Binding: Paperback
- | ISBN-10: 3030571475
- | ISBN-13: 9783030571474
Sequents And Trees : An Introduction To The Theory And Applications Of Propositional Sequent Calculi
$66.64
(No reviews yet)
Write a Review
Write a Review
Birkhäuser
Sequents And Trees : An Introduction To The Theory And Applications Of Propositional Sequent Calculi
Product Details
- Author:
- Andrzej Indrzejczak
- Publisher:
- Birkhäuser
- Publication Date:
- Dec 31, 2021
- Number of pages:
- 364 pages
- Language:
- English
- Binding:
- Paperback
- ISBN-10:
- 3030571475
- ISBN-13:
- 9783030571474
Categories
Paperback
Reviews
0 Reviews
No reviews yet.
Share your experience and help another reader choose their next book.
You may also like
Shop all
Sequents and Trees: An Introduction to the Theory and Applications of Propositional Sequent Calculi (Studies in Universal Logic)
Birkhäuser
$87.33
Abstract General Algebraic Logic: Applications To Sequent Calculi
Independently published
$200.00
$188.50
Abstract sequent axiomatizations of finitary universal Horn theories: Abstract Proof Theory versus General Algebraic Logic
Independently published
$150.00
$141.95
Decision Theory: An Introduction To Dynamic Programming And Sequential Decisions
Wiley
$109.95
$107.82
