Langage et theories dans les mathematiques nouvelles - Robert Pierre (Paris Editions Albin Michel, 1972)
Keywords: Mathematical logic