Title: Computational Aspects Of An Ordersorted Logic With Term Declarations
Subjects: Logic, symbolic and mathematical, Sorting (electronic computers)