Semantics and logics of computation
- Author
- Andrew M. Pitts, P. Dybjer
- Publisher
- Cambridge University Press
- Language
- English
- Edition
- 1
- Year
- 2009
- Page
- 373
- ISBN
- 9780521118460,9780511526619,0521580579,0521118468,051152661X,9780521580571
- File Type
- djvu
- File Size
- 2.0 MiB
How to Download?!!!
Just click on START button on Telegram Bot