Sciweavers

16 search results - page 1 / 4
» mlq 2002
Sort
View
MLQ
2002
65views more  MLQ 2002»
13 years 4 months ago
On Weak Markov's Principle
Ulrich Kohlenbach
MLQ
2002
59views more  MLQ 2002»
13 years 4 months ago
Weak Arithmetics and Kripke Models
Morteza Moniri
MLQ
2002
73views more  MLQ 2002»
13 years 4 months ago
Located Operators
Bas Spitters
MLQ
2002
84views more  MLQ 2002»
13 years 4 months ago
Strengths and Weaknesses of LH Arithmetic
Chris Pollett, Randall Pruim
MLQ
2002
65views more  MLQ 2002»
13 years 4 months ago
Metrization of the Uniform Space and Effective Convergence
Mariko Yasugi, Yoshiki Tsujii, Takakazu Mori