TY - BOOK AU - Daigneault Aubert TI - Theorie des modeles en logique mathematique U1 - B2, 122K7 PY - 1967/// CY - Canada PB - Les Presses ER -