NOVA Math Publications Algebra and Logic Book Kahle,R;Schroeder-Heister,P;Stärk,R Lecture Notes in Computer Science 2001 10.1007/3-540-45504-3 Tags : Algebra and Logic
