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

Documents (Auteurs)

• [MathCongrès] Isilc proof theory symposion / Ed. Diller, J. ; Ed. Mueller, Gert H.. -Berlin : Springer, 1975. - 383
  https://doi.org/10.1007/BFb0079542
  
• [MathCongrès] Isilc logic conference / Ed. Mueller, Gert H. ; Ed. Oberschelp, A. ; Ed. Potthoff, K.. -Berlin : Springer, 1975. - 651
  https://doi.org/10.1007/BFb0079414
  
• [MathCongrès] Higher set theory / Ed. Mueller, Gert H. ; Ed. Scott, D. S.. -Berlin : Springer, 1978. - 476
  https://doi.org/10.1007/BFb0103096
  
• [MathCongrès] Recursion theory week / Ed. Ebbinghaus, Heinz-Dieter ; Ed. Mueller, Gert H. ; Ed. Sacks, Gerald E.. -Berlin : Springer, 1985. - ix, 418
  https://doi.org/10.1007/BFb0076211
  
• [MathCongrès] Recursion theory week / Ed. Ambos-Spies, K. ; Ed. Mueller, Gert H. ; Ed. Sacks, Gerald E.. -Berlin : Springer, 1990. - vi, 393
  https://doi.org/10.1007/BFb0086109
  
• [MathCongrès] Models and sets part 1 / Ed. Mueller, Gert H. ; Ed. Richter, Michael M.. -Berlin : Springer, 1984. - viii, 484
  https://doi.org/10.1007/BFb0099377