Cutello, Cutello profile picture

Cutello, Cutello

Is this your author profile? Create an account to claim and customize it!

Decision procedures for elementary sublanguages of set theory. XIV. Three languages involving rank related constructs