Decision Procedures for Elementary Sublanguages of Set Theory. IX. Unsolvability of the decision problem for a restricted subclass of delta-0 formulas of set theory.

F Parlamento, Alberto Policriti
1988-01-01
Cite DOI
Type
Journal article
Publication
COMMUNICATIONS ON PURE AND APPLIED MATHEMATICS

Related