Decision procedures for elementary sublanguages of set theory.  VII. Validity in set theory when a choice operator is present
By: by A. Ferro and E.G. Omodeo.
Contributors: Omodeo, E.
Publisher: Courant Institute of Mathematical Sciences, New York University
Published: 1986
Place of publication: New York
Language: eng
Number of pages: 19