OmodeoPP90'

BibTeX

@inproceedings{DBLP:conf/ecai/OmodeoPP90,
  author    = {Eugenio G. Omodeo and
               Franco Parlamento and
               Alberto Policriti},
  title     = {Truth Tables for a Combinatorial Kernel of Set Theories},
  booktitle = {ECAI},
  year      = {1990},
  pages     = {485-490},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}