Truth Tables for a Combinatorial Kernel of Set Theories.

Eugenio G. Omodeo Franco Parlamento Alberto Policriti Truth Tables for a Combinatorial Kernel of Set Theories. 485-490 1990 ECAI db/conf/ecai/ecai90.html#OmodeoPP90