Studies in logic and the foundations of mathematics ;

書目資訊

Handbook of proof theory
Buss, Samuel R.
by: Buss, Samuel R.
Abstract set theory
Fraenkel, Abraham Adolf, (1891-1965.)
by: Fraenkel, Abraham Adolf, (1891-1965.)
Handbook of recursive mathematics
Ershov, �I�Uri�i Leonidovich.
by: Ershov, �I�Uri�i Leonidovich.
Realizabilityan introduction to its ...
Oosten, Jaap van.
 
 
變更密碼
登入