Heinz-Dieter Ebbinghaus, Jörg Flum

Finite Model Theory - 1995 - Springer Berlin Heidelberg 1995 - Perspectives in Mathematical Logic .

9783662031827


Mathematics and Statistics