登入選單

返回Google圖書搜尋

Building and Executing Proof Strategies in a Formal Metatheory

A. Armando

出版	Istituto per la Ricerca Scientifica e Tecnologica, 1993
URL	http://books.google.com.hk/books?id=wELEPgAACAAJ&hl=&source=gbs_api