Joseph Rosenstein
Joseph Rosenstein
Distinguished Emeritus Professor of Mathematics
...
5-2831
logic, linear orderings, recursive model theory