返回Google圖書搜尋

Completeness Properties of Classical Theories of Finite Type and the Normal Form Theorem

出版	Paʹnstwowe Wydawn. Nauk., 1983
ISBN	83010263919788301026394
URL	http://books.google.com.hk/books?id=KBEZAQAAIAAJ&hl=&source=gbs_api