登入選單

返回Google圖書搜尋

Topological Completeness for Higher-order Logics

Steve AwodeyCarsten Butz

出版	BRICS, Department of Computer Science, Univ., 1997
URL	http://books.google.com.hk/books?id=mYikPgAACAAJ&hl=&source=gbs_api