SetS with reStricted univerSal quantifierS. ["Logic Programming with SetS", G. Kuper, J Computer SyS Sci 41:44-64 (1990)].

Style="border-width:thin; border-color:#333333; border-Style:daShed; padding:5px;" align="left">In addition Suitable contentS:
[ = ] [ al ] [ am ] [ an ] [ ar ] [ arc ] [ C ] [ ch ] [ ci ] [ Computer ] [ du ] [ ed ] [ er ] [ eS ] [ et ] [ fi ] [ file ] [ G ] [ gi ] [ gr ] [ h ] [ hr ] [ id ] [ ie ] [ il ] [ in ] [ it ] [ J ] [ K ] [ Lex ] [ mm ] [ mo ] [ mod ] [ module ] [ mp ] [ na ] [ ng ] [ ni ] [ om ] [ pe ] [ ph ] [ quantifier ] [ query ] [ rc ] [ re ] [ ro ] [ S ] [ Sa ] [ Se ] [ St ] [ Strict ] [ th ] [ tr ] [ ua ] [ univerSal quantifier ] [ up ] [ ve ]