Publication:4362726
From MaRDI portal
zbMath0884.03033MaRDI QIDQ4362726
H. Jerome Keisler, Michael Benedikt
Publication date: 13 November 1997
03C80: Logic with extra quantifiers and operators
03C13: Model theory of finite structures
03H15: Nonstandard models of arithmetic
Related Items