9
0
0
0
0
Dual tableaux foundations, methodology, case studies / [electronic resource] :
- 作者： Orlowska, Ewa.
- 其他作者：
- 其他題名：
- Trends in Logic ;
- 出版： Dordrecht : Springer Netherlands
- 叢書名： Trends in Logic ;v.33
- 主題： Logic , Mathematics , Mathematical Logic and Foundations. , Mathematical Logic and Formal Languages. , Logic
- ISBN： 9789400700055 (electronic bk.) 、 9789400700048 (paper)
-
FIND@SFXID:
CGU
- 資料類型: 電子書
-
讀者標籤：
- 系統號： 005079772 | 機讀編目格式
館藏資訊
