Sciweavers

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