Logic of computation - Schwichtenberg, Helmut, 1942- (NATO ASI series, 1997)