Algebra and Logic

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

2009

10.1007/978-3-642-04027-6