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

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

Aún sin calificaciones
2015 · Inglés · Tapa dura
Añadir a la estantería

Califica este libro


Exportar diario de lectura

Reseñas

No hay reseñas aún

Sé el primero en reseñar este libro y compartir tus pensamientos

Iniciar sesión para revisar
Añadir a la estantería

Califica este libro


Exportar diario de lectura