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

Documents (Mots clés)

• [MathCongrès] Nonstandard models of arithmetic and set theory / Ed. Enayat, Ali ; Ed. Kossak, Roman. -Providence RI : American mathematical Society, 2004. - xii, 167 p. ; 26 cm
  ISBN 9780821835357
  
• [MathOuvrage] Integers and theory of numbers / Fraenkel, Abraham A.. -Mineola NY : Dover, 2004. - 100 p. ; 25 cm
  ISBN 9780486495580
  
• [IremOuvrage] Faire des mathématiques à partir de leur histoire. Tome VI / Collab. Chauvet, Françoise. -Rennes : IREM de Rennes, 2004. - 114 p. ; 30 cm
  
• [MathOuvrage] Metamathematics of first-order arithmetic / Hajek, Petr ; Pudlák, Pavel. -Berlin, Heidelberg, New York NY : Springer, 1998. - xiv, 460 p. ; 25 cm
  https://projecteuclid.org/ebooks/perspectives-in-logic/volumes
  
• [MathCongrès] Modèles de l'arithmétique / Ed. Macaloon, K.. -Paris : Société mathématique de France, 1980. - 155 p. ; 24 cm
  http://www.numdam.org/journals/AST/ ; https://smf.emath.fr/les-publications?field_publication_collection[]=144