Logics for Computer Science
Anita Wasilewska
Springer International Publishing AG, 2018
145,75 €On orderDelivery: 2-3 weeks
Providing an in-depth introduction to fundamental classical and non-classical logics, this textbook offers a comprehensive survey of logics for computer scientists.
- ISBN-13
- 9783319925905
- ISBN-10
- 3319925903
- Publisher
- Springer International Publishing AG
- Year
- 2018
- Publication date
- 2018-11-13
- Pages
- 535
- Dimensions
- 186x262x33
- Weight
- 1198