1. Proof theory and intuitionistic systems
پدیدآورنده : Scarpellini, Bruno
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Intuitionistic mathematics,، Proof theory
رده :
QA
3
.
L28
no
.
212
2. Proof theory and intuitionistic systems
پدیدآورنده : / [by] Bruno Scarpellini
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه علامه طباطبایی (طهران)
موضوع :
رده :
QA3
،.
L28
,
S327