0
首頁
0
熱門排行
0
個人書房
借閱次數:
0
Methods of cut-elimination
作者:by Matthias Baaz, Alexander Leitsch.
出版者:Springer Science+Business Media B.V.
出版地:Dordrecht :
語文:英語
叢書名:Trends in logic ;
電子資源:
http://dx.doi.org/10.1007/978-94-007-0320-9
ISBN/ISSN/ISRC:9789400703209 (electronic bk.) ; 9789400703193 (paper)
作者:
Baaz, Matthias.
;
Leitsch, Alexander.
索書號:511.36
館藏
簡介
作者簡介
書架附近的資料
借這本書的人也借過下面這些書