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

Оценок пока нет
2015 · Английский · Твердый переплет
Добавить на полку

Оценить эту книгу


Экспортировать журнал книг

Обзоры

Отзывов пока нет

Станьте первым, кто оставит отзыв об этой книге и поделится своими мыслями

Войдите, чтобы оставить отзыв
Добавить на полку

Оценить эту книгу


Экспортировать журнал книг