Order Sorted Predicate Logic

Arnold Oberschelp. Order Sorted Predicate Logic. In Sorts and Types in Artificial Intelligence. pages 8-17, 1989.

Publication has no abstract