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

Documents (Mots clés)

• [MathOuvrage] Logical foundations of mathematics and computational complexity / Pudlák, Pavel. -Cham : Springer, 2013. - xiv, 695 p. ; 24 cm
  ISBN 9783319001180
  https://link.springer.com/bookseries/3733
  
• [MathOuvrage] Set theory for the working mathematician / Ciesielski, Krzysztof. -Cambridge : Cambridge university Press, 1997. - xi, 236 p. ; 23 cm
  ISBN 9780521594417
  
• [MathOuvrage] Forcing idealized / Zapletal, Jindrich. -Cambridge : Cambridge university Press, 2008. - vi, 314 p. ; 23 cm
  ISBN 9780521874267
  
• [MathPrépublication] Mathematical infinity, its inventors, discoverers, detractrors, defenders, masters, victims, users, and spectators / Belaga, Edward G.. -Strasbourg : Université Louis Pasteur;Institut de recherche mathématique avancée, 2000. - 36 p. ; 29 cm
  https://irma-web1.math.unistra.fr/annexes/publications/pdf/