D Cantone: Полный список книг

D Cantone: список всех книг (3)

Decision Procedures for Elementary Sublanguages of set Theory. V. Multilevel Syllogistic Extended by the General Union Operator - D Cantone, A Ferro, J T Schwartz

Decision Procedures for Elementary Sublanguages of set Theory. V. Multilevel Syllogistic Extended by the General Union Operator

D Cantone, A Ferro, J T Schwartz

2018
Decision Procedures for Elementary Sublanguages of set Theory. VI. Multi-level Syllogistic Extended by the Powerset Operator - D Cantone, A Ferro, J T Schwartz

Decision Procedures for Elementary Sublanguages of set Theory. VI. Multi-level Syllogistic Extended by the Powerset Operator

D Cantone, A Ferro, J T Schwartz

2018
Decision Procedures for Elementary Sublanguages of set Theory. X. Multilevel Syllogistic Extended by the Singleton and Powerset Operators - D Cantone

Decision Procedures for Elementary Sublanguages of set Theory. X. Multilevel Syllogistic Extended by the Singleton and Powerset Operators

D Cantone

2018