登入選單

返回Google圖書搜尋

On Extending Combinatory Logic to Include Parallelism and Nondeterminism

Martin W. BunderE. V. Krishnamurthy

出版	Department of Mathematics, University of Wollongong, 1989
URL	http://books.google.com.hk/books?id=pNHFNQAACAAJ&hl=&source=gbs_api