Effective Algebra, Handbook of Logic (1995)

by V STOLTENBERG-HANSEN, J TUCKER
Venue:in Computer Science IV