Documents (Codes MSC)

• [Multi angle] On a decomposition of WKL!! / Auteur de la Conférence Nemoto, Takako. -Marseille : CIRM
  
• [Multi angle] Randomness connecting to set theory and to reverse mathematics / Auteur de la Conférence Nies, André. -Marseille : CIRM
  
• [Multi angle] A derivation on the field of d.c.e.reals / Auteur de la Conférence Miller, Joseph. -Marseille : CIRM
  

Documents liés : [3 document(s)]