Logical approach to systems theory - Takahashi, Shingo 1960- (Lecture notes in control and information sciences, 1995)