Sequents and Trees
Indrzejczak Andrzej
9783030571443
onload="displayBookAvailableStatusC()"/>
Rating:
Rs. 38493.00
Delivery in 25 - 45 working days
Covid-19 Notice
Due to the current situation the Delivey will be delayed than the standard shipping period (21 working days)
Call our hotline 011 7 463 463
Additional Information
Add to wishlist
| Author(s) :- Indrzejczak Andrzej | Format :- Hardback |
| Publisher :- Springer Nature Switzerland AG | Pub. Date :- 2021-02-03 |
| ISBN-13 :- 9783030571443 | |
| Series:- Studies in Universal Logic | |
| Edition:- 2021 ed. | |
| Pagination :- 345 pages, XVI, 345 p. | |
| Dimensions :- 235 x 155 |
Description
This textbook offers a detailed introduction to the methodology and applications of sequent calculi in propositional logic.
