紀錄類型: |
書目-電子資源
: Monograph/item
|
正題名/作者: |
Frege's notationsGregory Landini. |
其他題名: |
what they are and how they mean / |
作者: |
Landini, Gregory. |
出版者: |
Houndmills, Basingstoke, Hampshire ;Palgrave Macmillan,2012. |
面頁冊數: |
1 online resource. |
標題: |
Proof theory. |
電子資源: |
https://link.springer.com/book/10.1057/9780230360150 |
ISBN: |
9780230360150 (electronic bk.) |