紀錄類型: |
書目-電子資源
: Monograph/item
|
正題名/作者: |
Hiroakira Ono on substructural logicsedited by Nikolaos Galatos, Kazushige Terui. |
其他作者: |
Galatos, Nikolaos. |
出版者: |
Cham :Springer International Publishing :2022. |
面頁冊數: |
xii, 375 p. :ill., digital ;24 cm. |
Contained By: |
Springer Nature eBook |
標題: |
Logic, Symbolic and mathematical. |
電子資源: |
https://doi.org/10.1007/978-3-030-76920-8 |
ISBN: |
9783030769208$q(electronic bk.) |