登入選單

返回Google圖書搜尋

Computational Category Theory

David E. RydeheardRod M. Burstall

出版	Prentice Hall, 1988
主題	Mathematics / Discrete MathematicsMathematics / Logic
ISBN	01316273689780131627369
URL	http://books.google.com.hk/books?id=gN1QAAAAMAAJ&hl=&source=gbs_api