NOVA Math Publications Algebra and Logic Book Gr√§del,E;Kahle,R Lecture Notes in Computer Science 2009 10.1007/978-3-642-04027-6 Tags : Algebra and Logic