Higher Order Logic Theorem Proving and its Applications
- Author
- L.J.M. Claesen, M.J.C. Gordon
- Publisher
- North Holland
- Language
- English
- Year
- 1993
- Page
- 588
- ISBN
- 0444898808,9780444898807
- File Type
- djvu
- File Size
- 8.2 MiB
How to Download?!!!
Just click on START button on Telegram Bot