Decision Procedures for Elementary Sublanguages of Set Theory (X: Multilevel Syllogistic Extended by the Singleton and Powerset Operators)

Decision Procedures for Elementary Sublanguages of Set Theory (X: Multilevel Syllogistic Extended by the Singleton and Powerset Operators)

Pas encore d'évaluations
2011 · Anglais · Broché
Ajouter à l'étagère

Évaluer ce livre


Exporter le journal de lecture

Avis

Aucun avis pour le moment

Soyez le premier à donner votre avis sur ce livre et partagez vos pensées

Se connecter pour évaluer
Ajouter à l'étagère

Évaluer ce livre


Exporter le journal de lecture