TY - BOOK AU - Henkin L TI - Structure algebrique des theories mathematiques U1 - 512.9=4 PY - 1956/// CY - Paris PB - Gauthier KW - Linear algebra ER -