Decidability of Logical Theories and Their Combination
Cristina Sernadas, Joao Rasga
Springer Nature Switzerland AG, 2021
79,75 €On orderDelivery: 2-3 weeks
- ISBN-13
- 9783030565565
- ISBN-10
- 3030565564
- Publisher
- Springer Nature Switzerland AG
- Year
- 2021
- Publication date
- 2021-10-22
- Pages
- 178
- Dimensions
- 235x155x