Continuous model theory - Chang Chung Chen; Keisler H J (1966)
Keywords: Higher algebra