Boolean-like and frequentistic nonstandard semantics for first-order predicate calculus without functions
scientific article; zbMATH DE number 1771536