Publication | Closed Access
MANY-SORTED LOGIC AND ITS APPLICATIONS
38
Citations
0
References
1994
Year
Applied LogicTheoretical AnalysisEngineeringGeometryAutomated ReasoningMulti-sorted LogicK. MeinkeMany-sorted LogicIsbn 0Formal MethodsJ. V. TuckerMany-valued LogicOrder-sorted LogicComputer ScienceMathematical ModellingHigher-order Logic
Edited by K. Meinke and J. V. Tucker: 397 pp., £39.95, ISBN 0 471 93485 2 (John Wiley, 1993).