Publication:4149752
From MaRDI portal
zbMath0372.02026MaRDI QIDQ4149752
Publication date: 1976
Full work available at URL: http://www.numdam.org/item?id=ASCFM_1976__60_13_1_0
03E35: Consistency and independence results
08B20: Free algebras
08B99: Varieties
18A15: Foundations, relations to logic and deductive systems
03C68: Other classical first-order model theory