Decision procedures for elementary sublanguages of set theory. XVI. Multilevel syllogistic extended by singleton, rank comparison and unary intersection.
By: By D. Cantone, V. Cutello.
Contributors: Cutello, V.
Publisher: Courant Institute of Mathematical Sciences, New York University
Published: 1989
Place of publication: New York
Language: eng
Number of pages: 11