Author:
Ardeshir Mohammad,Ghafouri Zahra
Publisher
Oxford University Press (OUP)
Reference8 articles.
1. Decidability and Specker sequences in intuitionistic mathematics.;Mathematical Logic Quarterly,2009
2. Constructive topology and combinatorics.,1992
3. Reverse Mathematics in Bishop’s constructive mathematics.;Philosophia Scientia,2006