Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series)
Publisher: Springer
Published: Jun 04, 2007
Number of pages: 440
ISBN-13: 9783540688044