語系:
繁體中文
English
日文
簡体中文
說明(常見問題)
登入
Studies in logic and the foundations of mathematics ;
書目資訊
Handbook of recursive mathematics[el...
~
Ershov, �I�Uri�i Leonidovich.
Handbook of recursive mathematics[electronic resource] /
by:
Ershov, �I�Uri�i Leonidovich.
Realizability[electronic resource] :...
~
Oosten, Jaap van.
Realizability[electronic resource] :an introduction to its categorical side /
by:
Oosten, Jaap van.
Abstract set theory[electronic resou...
~
Fraenkel, Abraham Adolf, (1891-1965.)
Abstract set theory[electronic resource] /
by:
Fraenkel, Abraham Adolf, (1891-1965.)
Categorical logic and type theory[electronic resource] /
by:
Jacobs, Bart.
Handbook of proof theory[electronic ...
~
Buss, Samuel R.
Handbook of proof theory[electronic resource] /
by:
Buss, Samuel R.
處理中
...
變更密碼
登入
