紀錄類型: |
書目-電子資源
: Monograph/item
|
正題名/作者: |
Peter Schroeder-Heister on proof-theoretic semanticsedited by Thomas Piecha, Kai F. Wehmeier. |
其他作者: |
Piecha, Thomas. |
出版者: |
Cham :Springer Nature Switzerland :2024. |
面頁冊數: |
x, 463 p. :ill. (some col.), digital ;24 cm. |
Contained By: |
Springer Nature eBook |
標題: |
Proof theory. |
電子資源: |
https://doi.org/10.1007/978-3-031-50981-0 |
ISBN: |
9783031509810$q(electronic bk.) |