Theorem Proving in Higher Order Logics, vol. 4732
Mizar%2527s Soft Type System
eBook
Full text availability for this item
Collection:
Springer Complete eBooks
Opens in new Window
Coverage:
- 2007