Описание
Excerpt from Decision Procedures for Elementary Sublanguages of Set Theory
Remark Throughout this paper we will freely identify variables y, and places 1r, with their indices 8 and i, respectively.
Remark Throughout this paper we will freely identify variables y, and places 1r, with their indices 8 and i, respectively.
Детали книги
Формат
Мягкая обложка
Страницы
17 страниц
Язык
Английский
Опубликовано
Aug 24, 2018
Издатель
Forgotten Books
ISBN-10
1334016194
ISBN-13
9781334016196