John N. Crossley, Jeffrey B. Remmel, Richard Shore, Moss E. Sweedler
Logical Methods - 1993 - Birkhäuser Boston 1993 - Progress in Computer Science and Applied Logic .
9781461203254
Mathematics and Statistics
Logical Methods - 1993 - Birkhäuser Boston 1993 - Progress in Computer Science and Applied Logic .
9781461203254
Mathematics and Statistics