Symposium on Logic in Co - New York The Computer Society 1987 - "xi, 359" Dewey Class. No.: 621 / 395 SY