Logical approach to systems theory /
Takahashi, Shingo,1960-
Takahara, Yasuhiko.
London :           Springer,
1995.
Includes index
System theory.
Logic, Symbolic and mathematical.