Schwartz, J profile picture

Schwartz, J

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

Decision procedures for elementary sublanguages of set theory. XI. Multilevel syllogistic extended by some elementary map constructs