"Getmanova, Alexandra" Logic - \\198900ENGGPSX - Progress 1989 Moscow - 357p includes index and biblioraphy ISBN: 5010010992