登入選單

返回Google圖書搜尋

Proof Search in the LambdaPi-calculus

University of Edinburgh. Department of Computer Science. Laboratory for Foundations of Computer ScienceD. PymL. Wallen

出版	University of Edinburgh, Department of Computer Science, Laboratory for Foundations of Computer Science, 1991
URL	http://books.google.com.hk/books?id=tCBsPgAACAAJ&hl=&source=gbs_api