Semantics of First-Order Languages

Graduate texts in mathematics, pp. 25–54

Authors 3

1. Heinz-Dieter Ebbinghaus corresponding

   University of Freiburg

   Affiliation as printed

   Mathematical Institute, University of Freiburg, Freiburg, Germany

2. Jörg Flum

   University of Freiburg

   Affiliation as printed

   Mathematical Institute, University of Freiburg, Freiburg, Germany

3. Wolfgang Thomas Aachen Department of Computer Science

   RWTH Aachen University

   Affiliation as printed

   Department of Computer Science, RWTH Aachen University, Aachen, Germany