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

Free Download Book