Incompleteness for Higher-Order Arithmetic
Yong Cheng
Springer Verlag, Singapore, 2019
79,75 €On orderDelivery: 2-3 weeks
- ISBN-13
- 9789811399480
- ISBN-10
- 9811399484
- Publisher
- Springer Verlag, Singapore
- Year
- 2019
- Publication date
- 2019-09-11
- Pages
- 122
- Dimensions
- 235x155x