Finite Model Theory by Ebbinghaus and Flum

GPTKB entity