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