Theorie des modeles en logique mathematique - Daigneault, Aubert 1932- (1967)