登入選單
返回Google圖書搜尋
Computational Logic and Proof Theory
Georg GottlobAlexander LeitschDaniele Mundici
其他書名
Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 1993 : Proceedings
出版Springer-Verlag, 1993
ISBN03875718419780387571843
URLhttp://books.google.com.hk/books?id=vMlQAAAAMAAJ&hl=&source=gbs_api
註釋"The Third Kurt G