"Finite model theory."

Heinz-Dieter Ebbinghaus, Jörg Flum (1995)

Details and statistics

DOI:

access: unavailable

type: Book or Thesis

metadata version: 2011-05-09

a service of  Schloss Dagstuhl - Leibniz Center for Informatics