Decision procedures for elementary sublanguages of set theory.  XIV.  Three languages involving rank related constructs.
By: By D. Cantone, V. Cutello, A. Ferro.
Contributors: Cutello, V.; Ferro, A.
Publisher: Courant Institute of Mathematical Sciences, New York University
Published: 1988
Place of publication: New York
Language: eng
Number of pages: 18