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

Documents (Auteurs)

• [MathOuvrage] The Classical decision problem / Börger, Egon ; Grädel, Erich ; Gurevich, Yuri. -Berlin, Heidelberg, New York NY : Springer, 1997. - x, 482 p. ; 24 cm
  ISBN 9783540423249
  
• [MathOuvrage] Computability, complexity, logic / Börger, Egon. -Amsterdam : North-Holland, 1989. - xx-592
  
• [MathCongrès] Computation and proof theory. Part II / Ed. Richter, Michael M. ; Ed. Börger, Egon ; Ed. Oberschelp, Walter ; Ed. Schinzel, Brigitta ; Ed. Thomas, W.. -Berlin : Springer, 1984. - viii, 475
  https://doi.org/10.1007/BFb0099476