16
0
0
0
0
Methods of cut-elimination [electronic resource]
- 作者： Baaz, Matthias.
- 其他作者：
- 出版： Dordrecht : Springer Science+Business Media B.V.
- 叢書名： Trends in Logic ;v.34
- 主題： Proof theory. , Mathematics , Mathematical Logic and Foundations. , Mathematical Logic and Formal Languages.
- ISBN： 9789400703209 (electronic bk.) 、 9789400703193 (paper)
-
FIND@SFXID:
CGU
- 資料類型: 電子書
-
讀者標籤：
- 系統號： 005068888 | 機讀編目格式
館藏資訊
