The logical foundations of scientific theories : languages, structures, and models /: languages, structures, and models. (2016)