LA STRUCTURE ALGEBRIQUE DES THEORIES MATHEMATIQUES - Henkin, Leon (Paris Gauthier-Villars, 1965)
Keywords: Algebra, Abstract; Logic, Symbolic And Mathematical