TY - BOOK AU - Mycielski, J.: Rozenberg, G.: Salomaa, A.: TI - Structures in Logic and Computer Science : Lecture Notes in Computer Science SN - 0003540632468 U1 - 004 PB - Springer: Tokyo KW - Logic : Computer Science ER -