Sequents And Trees : An Introduction To The Theory And Applications Of Propositional Sequent Calculi
Birkhäuser
ISBN13:
9783030571474
$66.64
- | 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
- 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