Algebra and Logic

Book
Grädel,E;Kahle,R
Lecture Notes in Computer Science

2009

10.1007/978-3-642-04027-6