登入選單
返回Google圖書搜尋
Einführung in die mathematische Logik
Heinz-Dieter EbbinghausJörg FlumWolfgang Thomas
出版BI-Wiss.-Verlag, 1992
ISBN34111560319783411156030
URLhttp://books.google.com.hk/books?id=MOPuAAAAMAAJ&hl=&source=gbs_api
註釋Theory of Computation -- Mathematical Logic and Formal Languages.