語系:
繁體中文
English
說明(常見問題)
登入
語系
英文
(2)
跳至 :
概要
|
書目資訊
|
主題
Szabo, M. E.
概要
作品:
2 作品在 2 項出版品 1 種語言
書目資訊
The collected papers of Gerhard Gentzen
by: Szabo, M. E.; Gentzen, Gerhard.
(書目-語言資料,印刷品)
Algebra of proofs
by: Szabo, M. E.
(書目-語言資料,印刷品)
主題
Categories (Mathematics)
Gentzen, Gerhard.
Logic, Symbolic and mathematical.
Proof theory.
Metamathematics.
Combinatory logic.
處理中
...
變更密碼[密碼必須為2種組合(英文和數字)及長度為10碼以上]
登入