scientific article; zbMATH DE number 1086488
From MaRDI portal
Publication:4362726
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 (1)
This page was built for publication: