Many-sorted logic and its applications /

Bibliographic Details

Other Authors:	Meinke, K. Karl, Tucker, J. V. (John V.), 1952-
Format:	Book
Language:	English
Published:	Chichester ; New York : Wiley, [1993]
Series:	Wiley professional computing.
Subjects:	Mathematical logic Logic, Symbolic and mathematical.