Many-sorted logic and its applications /
Tucker, J. V.,1952-
Meinke, K.
Chichester : Wiley,
1993.