Langages, ensembles, theories axiomatiques - HERVIEUX, Maurice, 1942- (Holt, Reinehart et Winston, 1970)