Groups, languages, algorithms: AMS-ASL Joint Special Session on Interactions bet… by Association for Symbolic Logic, Borovik, Alexandre V., American Mathematical Society, AMS-ASL Joint Special Session, Interactions Between Logic, Group Theory, and Computer Science, Baltimore) fromContemporary Mathematics 0 Type: Book