登入選單

返回Google圖書搜尋

An Analysis of Girard's Paradox

Institut national de recherche en informatique et en automatique (France)Thierry Coquand

出版	Institut National de Recherche en, Informatique et en Automatique, 1986
URL	http://books.google.com.hk/books?id=9wm7GwAACAAJ&hl=&source=gbs_api