Logical Frameworks

Author: Gerard Huet, G. Plotkin (editors)
Publisher: CUP
Language: English
Year: 1991
Page: 416
ISBN: 0521413001,9780521413008
File Type: djvu
File Size: 2.5 MiB

How to Download?!!!

Just click on START button on Telegram Bot

Free Download Book