1 - Le raisonnement en mathématiques et en sciences expérimentales, Paris 26 septembre - 1er octobre 1955Chatelet, Albert (Org.) / Centre National de la Recherche Scientifique (Ed.) Cote : [05 CHA 58]
2 - The unprovability of consistency : an essay in modal logicBoolos, George (1940-1996)Cote : [05 BOO 79]
