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

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

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

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


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

Обзоры

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

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

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

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


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