more....
Sets with restricted universal quantifiers.
["Logic Programming with Sets", G. Kuper, J Computer Sys Sci 41:44-64 (1990)].
more......
Copyright © 1999-2020 www.hobbyprojects.com (All rights reserved)