Symposium on Logic in Co - New York The Computer Society 1987 - "xi, 359"

621 / 395 SY