Decision procedures for elementary sublanguages of set theory. XIV. Three languages involving rank related constructs
by
Cantone, D
series:
Unknown
first published:
Unknown
Decision procedures for elementary sublanguages of set theory. XVI. Multilevel syllogistic extended by singleton, rank comparison and unary intersection
by
Cantone, D
series:
Unknown
first published:
Unknown
A decision procedure for set-theoretic formulae involving rank and cardinality comparison
by
Cantone, D
series:
Unknown
first published:
Unknown
Set-theoretic reductions of Hilbert's tenth problem
by
Cantone, D
series:
Unknown
first published:
Unknown
The American Law Register 38
by
William S. Hein & Company, University of Pennsylvania Dept. of Law
series:
Unknown
first published:
Unknown
Bulletin of the Geographical Society of Philadelphia
by
Geographical Society of Philadelphia
series:
Unknown
first published:
Unknown