13
0
0
0
0
Completeness theory for propositional logics [electronic resource]
- 作者: Pogorzelski, Witold.
- 其他作者:
- 出版: Basel : Birkhuser Verlag AG
- 叢書名: Studies in universal logic
- 主題: Completeness theorem. , Mathematics , Mathematical Logic and Foundations.
- ISBN: 9783764385187 (electronic bk.) 、 9783764385170 (paper)
- FIND@SFXID: CGU
- 資料類型: 電子書
- 內容註: Includes bibliographical references (p. [165]-174) and indexes.
-
讀者標籤:
- 系統號: 005020030 | 機讀編目格式