scientific article; zbMATH DE number 1086488
From MaRDI portal
zbMath0884.03033MaRDI QIDQ4362726
H. Jerome Keisler, Michael Benedikt
Publication date: 13 November 1997
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic with extra quantifiers and operators (03C80) Model theory of finite structures (03C13) Nonstandard models of arithmetic (03H15)
Related Items