Pierre Gassendi 1592-1655 an intellectual biography
Jones, Howard,1941-
Nieuwkoop de Graaf
1981
Gassendi, Pierre, 1592-1655.