7
0
0
0
0
Kripke's worlds an introduction to modal logics via Tableaux / [electronic resource] :
- 其他作者：
- 其他題名：
- Studies in universal logic
- 出版： Basel : Springer Basel :Imprint: Birkhauser
- 叢書名： Studies in universal logic
- 主題： Modality (Logic) , Mathematics , Mathematical Logic and Foundations. , Mathematics, general.
- ISBN： 9783764385040 (electronic bk.) 、 9783764385033 (paper)
-
FIND@SFXID:
CGU
- 資料類型: 電子書
-
讀者標籤：
- 系統號： 005115737 | 機讀編目格式
館藏資訊
