TY - BOOK AU - Fraïssé,Roland TI - Cours de logique mathematique: realtion,formule logique,compacite,completude PY - 1967/// CY - Paris PB - Gauthier-Villars KW - Logic, Symbolic and mathematical N1 - Bibliography: v.1, p.[175]-181 ER -