1. Metamathematical investigation of intuitionistic arithmetic and analysis
پدیدآورنده: / A. S. Troelstra
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع: Intutitionistic mathematics,Proof Theory,Model Theory
رده :
510
.
8
Me
